higher bound for pi
hat red ___