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

using ll=long long;
#define rep1(i,a) for(int i=0;i<(a);i++)
#define rep2(i,a,b) for(int i=(a);i<(b);i++) 
#define rep3(i,a,b,c) for(int i=(a);((a)<=(b)?i<(b):i>(b));i+=(c))
#define rep_overload(a,b,c,d,e,...) e
#define rep(...) rep_overload(__VA_ARGS__,rep3,rep2,rep1)(__VA_ARGS__)
#define chmax(x,y) ((x)=max(x,y))
#define chmin(x,y) ((x)=min(x,y))
#define all(x) (x).begin(),(x).end()

int main(){
    ios::sync_with_stdio(false);
    std::cin.tie(nullptr);

    uint64_t n,ans=0;
    cin >> n;
    rep(i,1,n+1){
        ans+=i;
    }
    cout << ans << "\n";
}