[kzrdude]

You're talking about the best case, but we need to take the reasonable worst cases into account, where x + y nearly cancel etc.