Proof: Consider a portion of the sample path over which the server processes two jobs to completion Three possibilities: