theorem Th49: :: WALLIS01:49

Wallis_Seq is positive-yielding