#include <bits/stdc++.h>
#define I using
#define AK namespace
#define IOI std
#define i_ak return
#define ioi 0
#define i_will signed
#define ak main
#define IMO ()
I AK IOI;
i_will ak IMO {
ios::sync_with_stdio(false); cin.tie(0);
freopen("Lingzhi.in","r",stdin);
freopen("Lingzhi.out","w",stdout);
int n, k;
cin >> n >> k;
vector<int> h(n);
for (int i = 0; i < n; ++i) cin >> h[i];
vector<int> s;
for (int ht : h) for (int i = 1; i <= ht; ++i) s.push_back(i);
sort(s.rbegin(), s.rend());
long long ans = 0;
for (int i = 0; i < k && i < s.size(); ++i) ans += s[i];
cout << ans << endl;
i_ak ioi;
}
