#include<bits/stdc++.h>

using namespace std;

long long dg(long n){
	long long ans = 0;
	for (int i = 1; i <= n; i++){
		ans += i;
	}
	return ans;
}

int main(){
	int n;
	cin >> n；
	cout << dg(n);
	return 0;
}