https://9dok.org/document/qmj8d555-solution-conjecture-inequalities-power-exponential-functions.html