#include <bits/stdc++.h>
using namespace std;
int main() {
    #ifdef DEBUG
    std::ifstream in("/home/share/inputf.in");
    std::cin.rdbuf(in.rdbuf());
    #endif
    double W, D;
    cin >> W >> D;
    int64_t ans = (int64_t)W;
    for(int i = D; i > 1; i--) {
        ans -= floor(double(ans) / (i * i));
    }
    cout << ans << endl;
    return 0;
}