Paul Levy's isoperimetric inequality