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

signed main(){
int n; cin >> n;
cout << n * ( n + 1 ) / 2 << endl;
return 0;
}