#include <bits/stdc++.h>
using namespace std;
#define GG ios_base::sync_with_stdio(false); cin.tie(0); cout.tie(0);
int main () { GG;
int n,h,c=0; cin>>n>>h;
int a[n];
for(int i=0;i<n;i++)
{cin>>a[i];
if(a[i]>h) c++; }
cout<< (c*2)+ (n-c)<<"\n";
return 0;}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgR0cgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSk7IGNpbi50aWUoMCk7IGNvdXQudGllKDApOwppbnQgbWFpbiAoKSB7IEdHOwppbnQgbixoLGM9MDsgY2luPj5uPj5oOwppbnQgYVtuXTsKZm9yKGludCBpPTA7aTxuO2krKykgCntjaW4+PmFbaV07CmlmKGFbaV0+aCkgYysrOyB9CmNvdXQ8PCAoYyoyKSsgKG4tYyk8PCJcbiI7CnJldHVybiAwO30=