The logarithm is defined by the formula $$\log(x) = \displaystyle\int_1^x \dfrac{1}{t} dt.$$
Proposition: $\displaystyle\int \log(z) dz = z \log(z)-z$
Proof: █
