If the algorithm always completes after at most f(n) steps, it cannot distinguish more than 2f(n) cases because the keys are distinct and each comparison has only two possible outcomes.
Ако се алгоритам увек завршава после f(n) корака, не може да разликује више од 2f(n) случајева зато што су кључеви различити и свако поређење има само два могућа случаја.