#include<bits/stdc++.h>
using namespace std;

int main(){
	long long n;
	cin >>n;
	long long ans = 0;
for(int i = 1; i<=n; i++){
    ans+=i;
}
cout<<ans<<endl;

	return 0;
}