higher bound for pi
at ax ___