[VA] SRC#001 - Spiky Integral

[Gerson W. Barbosa]

(07-20-2018 08:06 PM)Albert Chan Wrote:  For big N, integral is dominated mostly by the area of spike:

I(N) ~ 4 \(\int_{0}^{\pi /(2N)} F dx \)

I did the integral in Python (plain float):

I(20000) ~ 4 * 7.67448983276e-07 = 3.0697959331e-06

Both values agreed each other, to 11 digits.

Thanks both for the I(20000) result and for another interesting approach. These results might be useful to improve the correction terms of the approximation formula.