P
Initializing...
Unit-distance upper bound with exponent $4/3$ · Prove2Me