Prove that lim n→[infinity] ∫ 1 to 5 sin(x²) e⁻ⁿˣ dx = 0