Formula Wallis (de asemenea produsul Wallis ) este o formulă care exprimă un număr în termenii unui produs infinit al fracțiilor raționale:
În 1655, John Wallis a propus o formulă pentru determinarea unui număr :
J. Wallis a venit la ea, calculând aria unui cerc. Din punct de vedere istoric, formula lui Wallis a fost semnificativă ca fiind unul dintre primele exemple de produse infinite.
Utilizează produsul Euler infinit pentru funcția sinus: [1]
Lasă atunci
Acest produs converge extrem de lent, astfel încât formula Wallis este de puțin folos pentru calculul practic al numărului. Cu toate acestea, este util în diferite studii teoretice, de exemplu, în derivarea formulei Stirling . Cu toate acestea, dacă corectăm ușor sfârșitul în această formulă:
atunci rata de convergență va crește cu aproximativ cinci ordine de mărime.