Wallis-Produkt:
John Wallis (1655)
"Leibniz-Summe":
benannt nach Gottfried Wilhelm Leibniz (1682), war aber indischen Mathematikern schon im 15. Jahrhundert bekannt.
Die Transzendenz von π wurde von Ferdinand von Lindemann 1882 bewiesen.
