(数学题，式子并不难推，但边界是真的烦)
(color{Red}{Ⅰ.其实可以发现,当m>=n时,每次都可以粮食补到n,所以一定是在第n天消耗完毕})
(color{Purple}{Ⅱ.当n>m时,前m天每次粮食都补到n})
(设从m+1天开始,需要mid天消耗完毕)
(因为每天都可以加m粮食,所以mid天可以加X_{补充}=(mid-1)*m粮食(因为第m+1天是补满前一天的，所以是mid-1))
(然后麻雀带走的粮食用等差数列计算m+1,m+2,...,m+mid)
[也就是X_{消耗}=mid*(m+1)+(mid-1)*mid/2
]
然后因为消耗的粮食要大于补充的粮食
[得到X_{消耗}>=n+X_{补充}
]
[化简得到m+mid*(mid+1)/2>=n可行
]
(根据这个二分即可。)
(但是r的边界多少呢?我因为这个wa了无数次,边界应该是r=2e9)
(这样二分的时候刚好不会超过long long)
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
ll n,m,ans;
int main()
{
cin>>n>>m;
if(n<=m)
{
cout<<n;
return 0;
}
ans=m;//有m天补不全
ll l=0,r=2e9,mid;
while(r>l)
{
mid=(l+r)/2;
if(m+mid*(mid+1)/2>=n) r=mid;
else l=mid+1;
}
cout<<ans+r;
}