higher bound for i
root root bound less over ___