Double integration with dependent bounds

[Wile_E_Coyote]

Just for completeness of this thread, see also: “Integral with dependent bounds”