>>195
仕組みは、nは整数ってわかっているから、多少荒っぽく見積もってもだいたいの値さえ分かれば
細かいとこは捨てればいいって話だと思う。
S[n]が既知でnが未知のときS[n] = n(n+1)/2はnの二次方程式だから解の公式で解けばよくて、
あるいはのほうは単純に S[n] = n(n+1)/2 から n^2 < 2S[n] < (n+1)^2 と見積もったのだと思う

まあ確認してないけど