higher bound for pi
hat red lined ___