P
Initializing...
`ℓ ≥ C (log₂ b + 1)^2` for large `n` (round six, `ell_big`) · Prove2Me