>>6
半角の公式と数学的帰納法