!
n=1のときと、n>=2のときで分ければいいんですね?
どんな場合でもn=1のときまで保証できると思ってました。