P
Initializing...
`g·{1/g} ≤ 1/2` · Prove2Me