higher bound for pi
hat ___