#include<bits/stdc++.h>
#define ll long long
#define pb push_back
#define Valerian_or_Habil ios::sync_with_stdio(false);cin.tie(0);
#define Valerian void
using namespace std;
Valerian solve(){
ll n;
cin >> n;
ll k;
cin >> k;
vector<ll> v;
for (int i = 0; i < n; i++) {
ll g;
cin >> g;
v.pb(g);
}
ll sm=0;
for (int i = 1; i <= k; i++) {
for (int j = 0; j < n; j++) {
ll a=(v[j]/i);
sm+=min(a*(v[j]+2),100000000LL);
}
}
cout << sm << "\n";
}
int main(){
Valerian_or_Habil
ll t = 1;
while(t--){
solve();
}
return 0;
}
