Задача - найти одномерную функцию распределения сложного пуассоновского процесса, порожденного экспоненциальными случайными величинами:

, где

- независимые экспоненциальные с параметром 1,

- не зависящая от них пуассоновская с параметром

.
Дошла я до того, что функция распределения есть вероятность, что одна пуассоновская не больше другой не зависящей от нее пуассоновской. И вот чего-то у меня не суммируется. А должно?