Pista:Producto CAS de Wallis
De GeoGebra Manual
Para tantear el Producto de Wallis, puede intentarse, en la Vista CAS, apelando al comando Producto a la siguiente variante:
Producto((2 ñ / (2 ñ + 1)) (2 ñ / (2 ñ - 1)), ñ, 1, 100)
Variante cuyo valor aproximado 1.57a comparar con π / 2 tiende a π / 2 a medida que aumenta de 100 en adelante el número de factores que integran el Producto.
La sección ¿Sabían que... ? encabeza un "salpìcón" de pistas a consultar.