#include <bits/stdc++.h>
int main() {
  int n, l, count = 0;
  scanf("%d %d", &n, &l);
  int s[n];
  for (int i = 0; i < n; i++) {
    scanf("%d", &s[i]);
    if (s[i] > l)
      count += 2;
    else
      count++;
  }
  printf("%d", count);
}
