\lvert [0..i] \rvert = \lvert \{ 0, 1, \ldots, i \} \rvert = i + 1.