Planar isoperimetric inequality (source code)

= Planar isoperimetric inequality

This is the planar case of the <isoperimetric inequality>. Every bounded planar domain with a sufficiently regular boundary of length $L$ and area $A$ satisfies
$$
4\pi A\leq L^2.
$$
Equality holds exactly for circular domains.