#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll = long long;
using mint = atcoder::modint998244353;
using maxt = atcoder::modint1000000007;

int main() {
	unsigned long long N;
	cin >> N;
	cout << N * (N + 1) / 2 << endl;
}