Wallisův vzorec (také Wallisův součin ) je vzorec, který vyjadřuje číslo jako nekonečný součin racionálních zlomků:
V roce 1655 John Wallis navrhl vzorec pro určení čísla :
J. Wallis k ní přišel a vypočítal plochu kruhu. Historicky byl Wallisův vzorec významný jako jeden z prvních příkladů nekonečných produktů.
Pro funkci sinus používá nekonečný Eulerův součin: [1]
Nechte tedy
Tento produkt konverguje extrémně pomalu, takže Wallisův vzorec je pro praktický výpočet čísla málo užitečný. Je však užitečný v různých teoretických studiích, například při odvození Stirlingova vzorce . Pokud však mírně opravíme koncovku v tomto vzorci:
pak se rychlost konvergence zvýší asi o pět řádů.