TY - RPRT TI - A probabilistic proof of Wallis's formula for pi AU - Steven J. Miller PY - 2008 UR - https://arxiv.org/abs/0709.2181 ID - 0709.2181 ER -