Satellites are launched into space at times distributed according to a Poisson process with rate lambda. Each satellite independently spends a random time (having distribution G) in space before falling to the ground. Find the probability that none of the satellites in the air at time t was launched before time s, where s < t.