Question:
Suppose buses arrive at a bus stop according to a Poisson process $N_t$ with parameter . Given a fixed $t > 0$. The time of the last bus before t is $S_{N_t}$ , and the time of the next bus after $t$ is $S_{N_{t+1}}$. Show the following identity:$E(S_{N_{t+1}}-S_{N_t})=(2-e^{-\lambda t})/{\lambda}$.
My attempt:
One basic conclusion about Poisson proccess is that: the time interval between two arrivals follows $Expo(\lambda)$.
But here,as t is a fixed time point,it can be any point in the interval $S_{N_t}$ and $S_{N_{t+1}}$.Thus I found it impossible to use the above assumption.So what should I do next?