P
Initializing...
Thomson $N=7$, slab 4: minimal pair with $t_{01}\in[-\tfrac{47}{50},-\tfrac{93}{100}]$ gives $E>E(P)$ · Prove2Me