Spherical cap area upper bound
ID: spherical-cap-area-upper-bound
On the unit sphere , let be a spherical cap of angular radius . If , its surface area is at most . This includes for every . The bound follows by comparing the cap-area derivative with the derivative of and checking the two endpoint values.
New to topics? Read the docs here!