Cauchy’s formula is f(w)=(2πi)−1∫γf(z)/(z−w)dz, proved by removing the removable singularity of [f(z)−f(w)]/(z−w) and applying Cauchy’s theorem; similarly f′(w)=(2πi)−1∫f(z)/(z−w)2dz. The resulting estimates prove Liouville’s theorem. Finally cos2x=(1+cos2x)/2 and residues in the upper half-plane give ∫−∞∞cos2x/(x2+1)dx=2π(1+e−2).