clrs; problem 6.2 - fix a asymptotic bound