higher bound less than
upper cut down root ___