Here is the long run queue length; is the expected waiting time; is the arrival rate at the queue.

Little’s Law is one of applied probability’s most robust results.

- is the number of customers in a queue at time .
- is the total number of arrivals at the queue by time . includes customers at the queue at time .
- Let be the waiting time of the -th arrival at the queue. That is the time from arrival until departure.

It relates mean queue length to waiting times and arrival rates.

**Lemma** (Little’s Law): We assume the number of customers is smaller than : Assuming there is a long run waiting time and a long run arrival rate , that is there are well defined limits:

then the long run queue length is well defined and is given by Little’s Law:

**Proof: **The average number of customers in the queue bounded above by sum of the waiting times of all arriving customers and is lower bounded by the sum of waiting times of the customers who have completed service. I.e.

Thus

Letting , we gain , as required.