7.20.a: Informally derive the formula for area of a circle.