\[\pi=4\int_{0}^{1}\frac{\,\mathrm{d}t}{1+t^{2}}.\]