✨ Best Answer ✨
[1]でP[n]<P[n+1] ⇔ n<4(つまりn=1,2,3)
[2]でP[n+1]<P[n] ⇔ 4<n(つまりn=5,6,7,…)
となったので、
P[1]<P[2]<P[3]<P[4]と
P[5]>P[6]>P[7]>……がいえた状態です
P[4]とP[5]の大小がいえておらず、結論がまだ出ません
[1][2]の場合分けでは片手落ちということです
P[n]=P[n+1]の可能性を勝手に排除しているからですね
すべてのnについて大小がわかれば、
P[n]=P[n+1]の場合を調べる必要はないでしょう
しかし、今回はそうでないので、調べます