A SOLUTION OF SUN'S $520 CHALLENGE CONCERNING $\frac{520}{\pi}$

@article{Rogers2013ASO,
  title={A SOLUTION OF SUN'S \$520 CHALLENGE CONCERNING \$\frac\{520\}\{\pi\}\$},
  author={Mathew Rogers and A. Straub},
  journal={International Journal of Number Theory},
  year={2013},
  volume={09},
  pages={1273-1288}
}
We prove a Ramanujan-type formula for 520/π conjectured by Zhi-Wei Sun. Our proof begins with a hypergeometric representation of the relevant double series, which relies on a recent generating function for Legendre polynomials by Wan and Zudilin. After showing that appropriate modular parameters can be introduced, we then apply standard techniques, going back to Ramanujan, for establishing series for 1/π. Finally, we demonstrate that our approach can be used to also establish all further… Expand
15 Citations

Tables from this paper

Holonomic alchemy and series for $1/\pi$
Ramanujan’s Series for 1∕π
Ramanujan-type $1/\pi$-series from bimodular forms
New series for powers of $\pi$ and related congruences
Short walk adventures
A GENERATING FUNCTION OF THE SQUARES OF LEGENDRE POLYNOMIALS
  • W. Zudilin
  • Mathematics, Physics
  • Bulletin of the Australian Mathematical Society
  • 2013
RANDOM WALKS, ELLIPTIC INTEGRALS AND RELATED CONSTANTS
  • J. Wan
  • Mathematics
  • Bulletin of the Australian Mathematical Society
  • 2013
...
1
2
...

References

SHOWING 1-10 OF 19 REFERENCES
Legendre polynomials and Ramanujan-type series for 1/π
Generating functions of Legendre polynomials: A tribute to Fred Brafman
Ramanujan's Eisenstein series and new hypergeometric-like series for 1/pi2
Elliptic modular forms and their applications.
Conjectures and results on $x^2$ mod $p^2$ with $4p=x^2+dy^2$
Ramanujan's Notebooks
Pi and the AGM: a study in the analytic number theory and computational complexity
...
1
2
...