#include<bits/stdc++.h>
using namespace std;
int main(){
   long long a[3005],n,m,d=0,q=0;
    cin>>n>>m;
    for(long long i=0;i<=n-1;i++){
    	cin>>a[i];
    }
    sort(a,a+n);
	for(unsigned long long i=1;i<=m;i++){
		d=i+d;
	}
	cout<<d<<endl;
    return 0;
}

只有十分 求助