P
Initializing...
Separation exponent at least $2.1308255793978239\ldots$ · Prove2Me