theorem :: LEIBNIZ1:17

( 313 / 100 < PI & PI < 315 / 100 )