In the discussion in Section 4.2.5 of Arena’s Instantaneous Utilization vs. Scheduled Utilization output values, we stated that neither of the two measures is always larger. Prove this; recall that to prove that a general statement is not true you only have to come up with a single example (called a counterexample ) for which it’s not true.