Re: [math-fun] Quantum mechanical derivation of the Wallis formula for pi