#include<bits/stdc++.h>
#define rep(i,n) for(int i=0;i<(int)(n);i++)
using namespace std;

int main(){
    int n,a=0;
    cin >> n;
    rep(i,n+1){
        a += i;
    }
    cout << a << endl;
}