#include <bits/stdc++.h>
using namespace std;
int main(int argc, char const *argv[]) {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  int n, h, alturaPersona, anchoTotal;
  cin >> n >> h;
  anchoTotal = 0;
  while (n--) {
    cin >> alturaPersona;
    anchoTotal += ((alturaPersona > h) ? 2 : 1);
  }
  cout << anchoTotal << endl;
  return 0;
}
