Double integration with dependent bounds