MathDB
M has at least 79 members - Iran NMO 2005 - Problem3

Source:

September 21, 2010
geometry3D geometryspherecombinatorics proposedcombinatorics

Problem Statement

In one galaxy, there exist more than one million stars. Let MM be the set of the distances between any 22 of them. Prove that, in every moment, MM has at least 7979 members. (Suppose each star as a point.)