#include <bits/stdc++.h>
int main(void) {
  long long int n, k, i, x = 0;
  long long int a[100000];
  scanf("%d %d", &n, &k);
  for (i = 1; i <= n; i++) {
    scanf("%I64d", &a[i]);
  }
  for (i = 1; i <= n; i++) {
    if (a[i] % k != 0) x = a[i] / k + 1 + x;
    if (a[i] % k == 0) x = a[i] / k + x;
  }
  printf("%d\n", x);
}
