P
Initializing...
`log g` has constant term `0` when `g(0) = 1`. · Prove2Me