higher bound for pi
it ___