> There's a decent overview [0] that derives the expected length, and showing that it grows without bound up to 100% is suggestive of the result (combine that w

> There's a decent overview [0] that derives the expected length, and showing that it grows without bound up to 100% is suggestive of the result (combine that with the fact that the mean length is strictly monotonic increasing where it exists and is infinite at >100% utilization, and that shores up the mathematical loose ends). Ah! I can process this and it makes crude sense to me. Thank you!