帰納的定義と証明技法 指数と平方、べき乗、不等式、帰納法情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版)の第3章(帰納的定義と証明技法)、章末問題の問3.6の解答を求めてみる。