The function is measurable and nonnegative. In first-quadrant polar coordinates, including the Jacobian, its integral is
The radial factor is by the supplied fact and the angular integrand is at most one, giving finiteness. The nonnegative change-of-variables formula is valid before finiteness is known, and this bound proves .
Fubini may now factor the Cartesian integral. Substituting , in the respective factors gives
Both are finite: their powers at zero exceed , and the exponential controls infinity. Comparing with the polar expression proves
which is exactly the product of integrals requested.

Articles by others on the same topic (0)

There are currently no matching articles.