 Solution

The tail integral identity gives ${\int }_0^{\infty }\mathbb{P}(S>v)dv=\mathbb{E}S$. Therefore the limiting and stationary occupancy distribution isIt is finite under the stated finite-mean assumption.