Groups
Category
Double counting is the strategy of counting the same quantity in two different ways to derive an equality or an efficient algorithm.
The Harmonic Lemma says that the values of \lfloor n/i \rfloor only change about 2\sqrt{n} times, so you can iterate those value blocks in O(\sqrt{n}) instead of O(n).