式Fのところはn=1のときとそうじゃないときに場合分けしたほうがいいね。
のちの推論に影響を及ぼさない場合であっても。