theorem Th48: :: WALLIS01:48

( lim Wallis_Seq = 1 / PI & Wallis_Seq is convergent )