P
Initializing...
Konyagin's theorem: a triangle-free unit vector system sums to $O(n^{2/3})$ · Prove2Me