Valeur de l'intégrale défine \(\int_0^\infty e^{-x^2}dx\) déduite de la formule de Wallis. (Q1538076)

Der Gang des Beweises beginnt mit der Transformation von \(S_\mu=\int_0^\infty x^\mu e^{-x^2}dx\) in \(PT_\mu\), wo \(T_\mu=\int_0^\infty(eye{^-y})^{\frac{\mu-1}2}dy\). Aus einer Grössenscala der \(T\) geht für die \(S\) ein Ungleichung der Form hervor: \[ LS_1<MS_0<NS, \] woraus durch Uebergang zur Grenze eine Gleichung der Form \(S_0^2=QS_q^2\) entsteht. Einer der Factoren von \(Q\) ist nach der Wallis'schen Formel \(=\pi\), \(S_1\) ist bekannt \(=\frac12\), und es ergiebt sich \(S_0=\frac12\sqrt\pi\).