UVA1655 考试 Exam

定义 $\operatorname{f}(x)$ 为满足 $x \bmod (a \cdot b) = 0$ 的二元组 $(a,b)$ 个数. 已知 $n$, 请你求出 $\sum_{i=1}^n \operatorname{f}(i)$ 的值.

本题包含多组数据, 每组数据包含一行一个正整数表示 $n$, 输入以 EOF​ 结尾.

对于每组数据, 你都要输出字符串 `Case X: Y`, 其中 $X$ 表示该组数据的编号 (从 $1$ 开始), $Y$ 表示问题的答案.

$1 \le n \le 10^{11}$