考虑枚举除数。当除数为 i i i 时,我们可以将 1 ∼ n 1\sim n 1∼n 所有的数进行分段,如图:
其中,整个数列被分成了 m m m 段。注意:最后一段 m i ∼ n mi \sim n mi∼n 可能不是完整的一段。
我们可以分段考虑。对于第一段,有 i − 1 − k + 1 = i − k i-1-k+1=i-k i−1−k+1=i−k 个数可以作为可行的被除数。除去最后一段,前面一共有 n − ( n m o d i ) i \frac{n-(n\bmod i)}{i} in−(nmodi) 段,可以转换为 ⌊ n i ⌋ \lfloor\frac{n}{i}\rfloor ⌊in⌋ 段。所以,除去最后一段的答案为 ( i − k ) × ⌊ n i ⌋ (i-k)\times\lfloor\frac{n}{i}\rfloor (i−k)×⌊in⌋。
那最后一段呢?最后一段的长度显然为 n m o d i n\bmod i nmodi,而这个值可能大于等于,也可能小于 k k k。如果大于等于 k k k,那么这一段的长度为 n m o d i − k + 1 n\bmod i-k+1 nmodi−k+1。那么如果小于 k k k,这个值就应该是负数。所以最后一段的贡献为 max ( n m o d i − k + 1 , 0 ) \max(n\bmod i-k+1,0) max(nmodi−k+1,0)。
由于余数至少大于等于 k k k,所以除数为 1 ∼ k 1\sim k 1∼k 时的枚举是没有意义的。所以我们直接从 k + 1 k+1 k+1 开始枚举。
注意:当 k = 0 k=0 k=0 时会多算 n n n(为什么?原因留给读者思考),所以记得减去。