7. Define the function $\tanh(x) = \frac{e^x - e^{-x}}{e^x + e^{-x}}$. Prove that $\tanh x$ is increasing.