Average Queue Length Formula Algebra