P
Initializing...
`U(n) ≥ n·log₄ n / 6` for every `n`. · Prove2Me