P
Initializing...
The exponential series of $m \log_p x$ converges to $x^m$ on the ball $\|x - 1\| \le \|p\|^2$ · Prove2Me