Ah, I conflated worst case with upper bound. My mistake.