higher bound less than
upper cut down root lets ___