>>139
nは1000, 993, ……, 6, -1と変化する。n > 0の条件によって-1のときに処理がwhileを抜けるから-1以下にはならない。
iはnから7を引くごとに1増えるから1000 / 7 + 1。