開始補一波blog。（這幾天都做無碼量的題？233）

這道題師兄出過給我們做，記得當時挺懵逼的。。。
規律確實可找，>=sqrt(n)之後向上取整就不變了，這個可以列不等式證一下.
複雜度的話，考慮每次最多增加i-1就好，所以還是 $\sqrt n$ 級別的

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
char O[1<<14],*S=O,*T=O;
#define gc (S==T&&(T=(S=O)+fread(O,1,1<<14,stdin),S==T)?-1:*S++)
 

inline LL read(){
    LL x=0,f=1; char ch=gc;
    while(ch<'0' || ch>'9'){if(ch=='-')f=-1; ch=gc;}
    while(ch>='0' && ch<='9'){x=(x<<1)+(x<<3)+(ch^48); ch=gc;}
    return x*f;
}
int main(){
    int t=0;
    while(1){
        LL n=read(),k=read(); if(!n)break;
        for
 
(LL i=2;i<=k;++i){
            if(i*i>=n){n=(n+i-1)/i*k; break;}
            n=(n+i-1)/i*i;
        }
        printf("Case #%d: %lld\n",++t,n);
    }
    return 0;
}