Spherical isoperimetric inequality