#include <bits/stdc++.h>
using namespace std;
int p[1000006], n, k;
int main() {
  ios::sync_with_stdio(false);
  cin >> n >> k;
  iota(p + 1, p + n + 1, 1);
  for (int i = 2; i <= n; i++) {
    if (p[i] == i) {
      p[i]--;
      for (int j = i + i; j <= n; j += i) p[j] = p[j] / i * (i - 1);
    }
  }
  sort(p + 1, p + n + 1);
  long long ans = 0;
  for (int i = 1; i <= k + 2; i++) {
    ans += p[i];
  }
  if (k == 1) ans--;
  cout << ans << '\n';
  return 0;
}
