higher bound for i
root i is upper ___