P

Initializing...

Thomson $N=7$, Case 1: no near-antipodal pair gives $E\ge E(P)+3\cdot10^{-4}$ · Prove2Me