The polar area element is . Integrating first in radius and using symmetry gives
This is the specialization , of the polar cap between a cardioid and a circle area formula.