Erdős [Er46] asked whether every set of $n$ distinct points in $\mathbb{R}^2$ determines $\gg \frac{n}{\sqrt{\log n}}$ many distinct distances.

This theorem provides a sanity check, showing that the main conjecture (erdos_89) is strictly stronger than the solved Guth and Katz result. It proves that, trivially, if the lower bound $\frac{n}{\sqrt{\log n}}$ holds, then the weaker lower bound $\frac{n}{\log n}$ must also hold.