P

Initializing...

Thomson $N=7$, slab 1: minimal pair with $t_{01}\in[-\tfrac{99}{100},-\tfrac{49}{50}]$ gives $E>E(P)$ · Prove2Me