La fórmula de Wallis (también el producto de Wallis ) es una fórmula que expresa un número en términos de un producto infinito de fracciones racionales:
En 1655, John Wallis propuso una fórmula para determinar un número :
J. Wallis se acercó a ella, calculando el área de un círculo. Históricamente, la fórmula de Wallis fue significativa como uno de los primeros ejemplos de productos infinitos.
Utiliza el producto de Euler infinito para la función seno: [1]
Deja entonces
Este producto converge extremadamente lento, por lo que la fórmula de Wallis es de poca utilidad para el cálculo práctico del número. Sin embargo, es útil en varios estudios teóricos, por ejemplo, para derivar la fórmula de Stirling . Sin embargo, si corregimos ligeramente el final en esta fórmula:
entonces la tasa de convergencia aumentará en unos cinco órdenes de magnitud.