#include <bits/stdc++.h>
#define rep(i,n) for (int i=0; i<(n); ++i)
using namespace std;
using ll=long long;
int main(){
    int n;
    cin>>n;
    int ans=0;
    for(int i=1; i<=n; ++i){
        ans+=i;
    }
    cout<<ans<<endl;
}