#include <bits/stdc++.h>
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
using namespace std;

int main() {

	unsigned long long n;
	cin >> n;
	cout << n*(n+1)/2 << endl;
}