P
Initializing...
The κ bound KappaBound (1/2^182), unconditionally · Prove2Me