1997年にmelissenは博士論文で、任意のnに対し最大面積を与えるn個の円が貪欲法で求められると予想し、で正しいことが知られている。