Today, I present a proof for Jordan's lemma, a very useful result in complex analysis especially when calculating contour integrals. We use various estimations and inequalities to show that the value of the integral over a semicircular arc does indeed go to zero under certain conditions.
