Proof

This is kind of a tough integral to do. Let’s just evaluate the sage code below.
in-context