P
Initializing...
Davie--Stothers fourth-power bound: omega < 2.3737 · Prove2Me