>>312いやいや、arctan(i)→Π/2（i→∞）ですよ。tanの逆関数なんだし。

さっきからlim[n→∞](1/n)納k=1,n^2]f(k/n)＝∫[0,∞]f(x)dx
を示そうといろいろ奮闘しているが、ちょっと無理だな。今は教科書もないし…