P
Initializing...
The logarithmic derivative `g · (log g)' = g'` (for `g(0) = 1`). · Prove2Me