P

Initializing...

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