theorem :: WALLIS01:51

lim (sqrt Wallis_Seq) = 1 / (sqrt PI)