実数がを満たすとき、次の不等式が成立することを示せ。 \begin{equation} (x +y -1) \log_2 (x +y) \geqq (x -1) \log_2 x +(y -1) \log_2 y +y \end{equation}

逆余弦関数の不定積分 \begin{equation} \int \cos^{-1} x \, dx = x \cos^{-1} x -\sqrt{1 -x^2} +C \end{equation}は積分定数です。

逆正弦関数の不定積分 \begin{equation} \int \sin^{-1} x \, dx = x \sin^{-1} x +\sqrt{1 -x^2} +C \end{equation}は積分定数です。

逆正接関数の不定積分 \begin{equation} \int \tan^{-1} x \, dx = x \tan^{-1} x -\frac{1}{2} \, \log (1 +x^2) +C \end{equation}は積分定数です。