>>603
グラフにしてみた。
https://i.imgur.com/ObZlaHc.png
二次曲線ぽいので線形回帰で係数を求めてみると(1/4)*n^2-n+3
これが一般解かどうかは知らん。