***解！

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int n;
ll res;
int main()
{
    int t,cas=0;
    scanf("%d",&t);
    while(t--)
    {
        scanf("%d",&n);
        res=0;
        int i;
        for(i=1;i<=(int)sqrt(n);i++)
        {
            res+=(n/i);
            if(n/i>n/(i+1))
                res+=(ll)((n/i-n/(i+1))*i);
        }
        i--;
        if(i==(n/i))
            res-=(ll)i;
        printf("Case %d: %lld\n",++cas,res);
    }
    return 0;
}