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