Hay una manera de tomar un número conocido a la precisión limitada (por ejemplo,$1.644934$) y la búsqueda de una "interesante" número real (por ejemplo,$\displaystyle\frac{\pi^2}{6}$) que está cerca de ti?
Estoy pensando en algo como Sloane en Línea de la Enciclopedia de Secuencias de Enteros, sólo para los números reales.
La intención de uso sería: escribir un programa para calcular una aproximación a $\displaystyle\sum_{n=1}^\infty \frac{1}{n^2}$, buscar la respuesta ("se ve de cerca a $\displaystyle\frac{\pi^2}{6}$") y, a continuación, utilizar la respuesta probable a ayudar a encontrar una prueba de que la suma realmente es $\displaystyle \frac{\pi^2}{6}$.
Hace tal cosa existe?
