The former executes loop when `i` is 0. And we cannot change the comparison to `>=` in the later, because unsigned is always bigger or equal 0, thus we would g

The former executes loop when `i` is 0. And we cannot change the comparison to `>=` in the later, because unsigned is always bigger or equal 0, thus we would get infinite loop.