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

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