Wallis product

The Wallis product is the infinite product representation of π:

It was published in 1656 by John Wallis.