A probabilistic approach to Wallis' formula. Issue 13 (3rd July 2017)