Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Given $n$ points on the sphere of area 1, show that there exists an open spherical disk of area $1/n$ which does not contain any of these points.
(I learned this in the 1970s, with credit to Gelfand).
