higher bound for pi
at least ___