Wallis and the duplication of sines