これから有限バッファの待ち行列を検討する際によく使いそうな以下の式を予め証明しておきます。 ただしの時・・・・(1) ただしの時・・・・(2) 式(1)の証明 と置きます。この式の両辺に]をかけると よって、という条件を考慮すれば よって ・・・・・（１）…