FIX to Stronger Lempel-Ziv Based Compressed Text Indexing

Level: Small

Lemma 1 [28] actually states that n log n <= u Hk + ..., not the equality. We use the equality along the paper as an upper bound.