higher bound for pi
___