bestKnownUpperBound

URI: https://gptkb.org/prop/bestKnownUpperBound
1 triples
GPTKB property
Random triples
Subject Object
gptkb:Erdős_distinct_distances_problem n / sqrt(2) + O(n^{1/2})