3連投になってしまうが、まあ許せ。

>>50
＞もっとシンプルにしたければ　y[n]＝(1−cos x[n])/(x[n])^2　として
＞n*x[n]^2＝１/{４(y[n])^2−(１/n)}　としてもよい。
＞lim[n→∞]y[n]＝１/2　は準公式。

その解答はアリだ。最初に与えられた x[n]^2＝4n*(1−cos x[n])−1 を
n*x[n]^2 で割るだけで行ける。短いし、"天下り的すぎる" ということも無い。
これが一番いいかもしれん／＾o＾＼

あと、４(y[n])^2 じゃなくて ４y[n] な。