Mit Definition uneigentlicher Integrale ist \[\int_{0}^{\frac{\pi}{2}}\frac{1}{\sin(x)}\text{d}x = \lim_{\alpha\searrow 0}\int_{\alpha}^{\frac{\pi}{2}}\frac{1}{\sin(x)}\text{d}x\text{.}\]
Nach meiner Formelsammlung ist für \(x\in \left]0, \pi\right[\) durch \(F(x) = \ln\left(\tan\left(\frac{x}{2}\right)\right)\) eine Stammfunktion der durch \(f(x) = \frac{1}{\sin(x)}\) gegebenen Funktion gegeben. [Das kann man auch schnell durch Ableiten von \(F\) mit Kettenregel nachweisen.]
Damit erhält man für jedes \(\alpha\in\left]0, \frac{\pi}{2}\right]\): \[\begin{aligned}\int_{\alpha}^{\frac{\pi}{2}}\frac{1}{\sin(x)}\text{d}x &= \ln\left(\tan\left(\frac{\quad\frac{\pi}{2}\quad}{2}\right)\right)-\ln\left(\tan\left(\frac{\alpha}{2}\right)\right) \\ &= \ln\left(\tan\left(\frac{\pi}{4}\right)\right)-\ln\left(\tan\left(\frac{\alpha}{2}\right)\right) \\& = \underbrace{\ln\left(1\right)}_{=0}-\ln\left(\tan\left(\frac{\alpha}{2}\right)\right) \\& = -\ln\left(\tan\left(\frac{\alpha}{2}\right)\right)\end{aligned}\]
Demnach erhält man \[\lim_{\alpha\searrow 0}\int_{\alpha}^{\frac{\pi}{2}}\frac{1}{\sin(x)}\text{d}x = \lim_{\alpha\searrow 0}\underbrace{\left(-\underbrace{\ln\left(\underbrace{\tan\left(\frac{\alpha}{2}\right)}_{\searrow 0}\right)}_{\to-\infty}\right)}_{\to \infty}=\infty\]
Das uneigentliche Integral \[\int_{0}^{\frac{\pi}{2}}\frac{1}{\sin(x)}\text{d}x\] existiert demnach nicht, sondern divergiert gegen \(\infty\).
==========
Wenn man keine entsprechende Stammfunktion findet, kann man auch die für alle \(x\in\left[0, \infty\right[\) gültige Abschätzung \(\sin(x)\leq x\) verwenden.
Dann erhält man für alle \(\alpha\in\left]0, \frac{\pi}{2}\right]\): \[\int_{\alpha}^{\frac{\pi}{2}}\frac{1}{\sin(x)}\text{d}x\geq\int_{\alpha}^{\frac{\pi}{2}}\frac{1}{x}\text{d}x = \left[\ln(x)\right]_{x=\alpha}^{x=\frac{\pi}{2}} = \ln(\frac{\pi}{2}) - \underbrace{\ln\left(\alpha\right)}_{\to -\infty}\xrightarrow{\alpha\searrow 0}\infty\]
Somit existiert nach Minorantenkriterium das uneigentliche Integral \[\int_{0}^{\frac{\pi}{2}}\frac{1}{\sin(x)}\text{d}x\] nicht, sondern divergiert gegen \(\infty\).