My second post 11 Sep 2026 Last modified at 2026-09-13 \[\int\limits_{-\infty}^{\,\infty} e^{-x^2} \, \mathrm{d}x = \sqrt{\pi}\]