Going back to the 18th century, when L. Euler established $$\sum_{n\ge1}\frac1{n^2}=\frac{\pi^2}6,$$ he certainly had no guess about the value from empirical observation (= partial sums).
Denis Serre
- 52.3k
- 10
- 146
- 300