[VA] SRC #009 - Pi Day 2021 Special

[Gerson W. Barbosa]

(03-15-2021 08:59 PM)J-F Garnier Wrote:  I don't know -and don't think there is - any relation that can be used to get \(\pi\) from e.

Et pourtant, il y en a – and yet there is at least one:

http://oeis.org/wiki/A_remarkable_formula_of_Ramanujan

Really remarkable, isn’t it?

P.S.: Yet another one (I had forgotten about the Gaussian Integral)

\[{\int_{-\infty}^{ \infty}\rm{e}^{-{{x}}^{2}}\rm{d}x}=\sqrt{\pi}\]