Informal argument for the formula of the circumference of a circle