higher bound i up
root node less is ___