In de wiskunde is het Wallis-product, dat in 1655 werd geconstrueerd door John Wallis, een voorstelling van het getal in de vorm van een oneindig product:
De productformule voor de sinus luidt:
Met volgt dan:
- ,
dus
Definieer
Pas voor partiële integratie toe, zodat
ofwel
Herhaalde toepassing hiervan voor levert
en voor volgt
Samen geven deze twee vergelijkingen
Er geldt
en
Omdat een dalende rij is, geldt
Als gaat de linkerkant naar 1, dus wegens de insluitstelling volgt
De bovenstaande formule kan dus worden herschreven tot