\int_0^{10000} \sin(x) \cos (40000/x) dx