Interpret the second process as an independent copy of the unit-rate Poisson process. First, the sums are finite almost surely. On there are finitely many arrivals, none at , so their inverse-square contributions are finite. On ,
For completeness, this expectation identity follows first for nonnegative simple functions from , and then for all nonnegative measurable functions by monotone convergence. Thus no unproved Poisson-integral formula is needed, and the tail sum is finite almost surely.
By (b), merging the two processes produces a rate- Poisson process with arrival times . Its rescaled arrivals form a unit-rate Poisson process: for a measurable set , their count is the merged count on , with parameter , and disjoint-set independence is preserved. Consequently
Therefore . This is the scaling of an inverse-power sum over Poisson arrivals with exponent .
The PDF does not explicitly repeat the second process's rate. If that rate were rather than , the same count argument would give . The numerical value uses the intended independent-unit-rate-copy interpretation.