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


int main() {
	int N;
	cin >> N;

	cout << N*(N+1)/2 << endl;
}