Justify the existence of the integral $\int_1^{+\infty} \frac{\mathrm{d}t}{t\sqrt{t^2-1}}$ and show that its value is $\frac{\pi}{2}$.