higher bound for i
root i root root ___