♯・♭の一番右の不等号は帰納法で簡単に示せる。

出典:IMO1997-5


有名な類題でa^b=b^aを満たす自然数の組を求める問題がある(答えはメール欄に記載)。