Little law

In a stable regenerative queue,where $L$ is mean population, $\lambda$ is throughput, and $W$ is mean sojourn time. Renewal reward proves it by identifying the area under the population path with the sum of customer sojourn times.