#include<bits/stdc++.h>
using namespace std;
using ll = long  long;
int main(void){
    ll n;cin >> n;
    cout << n * (n + 1) / 2 << endl;
    return 0;
}