 Solution

Condition first on the count in the random sum of independent claims. For $N=k$, independence of the summands and independence from $N$ giveThe empty product is one when $k=0$. Taking expected values proves the random-sum transform identity:For positive claim sizes this composition is always finite for $u\le 0$, and is an identity of Laplace transforms of nonnegative random variables after writing $u=-s$. For positive $u$, it holds wherever the composed series is finite; no positive exponential moment is implied merely by positivity of the summands.