#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
using ll=long long;
ll a,b,c,d,ans,cnt,m,r,l,x,y,z,k,n=0;
 
int main(){
    cin>>n;
    ans=(1+n)*n/2;
    cout << ans << endl;
}