4 Analysis
Lemma 1. The total number of rotated lists, or the total
number of singleton elements in the implicit dictionary
structure of size n is at most dp2ne, regardless of the increasing
function f.
PProof. To make it simpler, we can increase n to n0 = r
i=1(f(i)+1) 2r, and if we use the slowest increasing
function on Z+ where f(i) = i, then: