P
Initializing...
$\ln 2$ has EML complexity at most 12 · Prove2Me