#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
using ll = long long;
using ull = unsigned long long;

#define rep(i, n) for (ll i = 0; i < (ll)(n); i++)
using mint = modint998244353;

random_device rnd;
mt19937 mt(rnd());
int RandInt(int a, int b) {
    return a + mt() % (b - a + 1);
}

const int dx[4] = {0, 1, 0, -1};
const int dy[4] = {1, 0, -1, 0};

int main(){
    ll n;
    cin>>n;
    ll ans=(1+n)*n/2;
    cout<<ans<<endl;
    return 0;
}