The function is measurable and nonnegative. In first-quadrant polar coordinates, including the Jacobian, its integral isThe 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 .
Articles by others on the same topic
There are currently no matching articles.