#include <bits/stdc++.h>
using namespace std;
int main() {
  int num, maxHeight, counter = 0;
  cin >> num >> maxHeight;
  while (num--) {
    int height;
    cin >> height;
    if (height <= maxHeight)
      counter = counter + 1;
    else
      counter = counter + 2;
  }
  cout << counter << endl;
  return 0;
}
