#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define all(s) (s).begin(), (s).end()
#define rall(s) (s).rbegin(), (s).rend()
#define rep(i,l,r) for(int i=l;i<r;i++)
#define rrep(i,r,l) for(long long i=r;i>=l;i--)

using ll=long long;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    ll W,D;cin>>W>>D;
    rrep(t,D,2){
        ll w=W/(t*t);
        W-=w;
    }
    cout<<W<<endl;
}