loadingπ=20sin(t)tdtloading \\ \pi = 2 \int_0^\infty\frac{sin(t)}{t}\mathrm{d}t