higher bound i up
root node less i ___