higher bound for pi
hat red den ___