higher bound for pi
hat man ___