It’s difficult to prove definite integrals in exam math, so I have a long way to go, so I’ll mull it over tomorrow.