#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()

string to_string(__int128 n){
    if (n==0)return "0";
    string res;
    bool is_negative=false;
    if (n<0){
        is_negative=true;
        n=-n;
    }
    while (n!=0){
        res.push_back(static_cast<int>(n%10) + '0');
        n/=10;
    }
    reverse(res.begin(),res.end());
    if (is_negative)res+='-';
    return res;
}
__int128_t input_int128_t(){
    string s;
    cin >> s;
    __int128_t n=0;
    for (char c:s){
        n=n*10+(c-'0');
    }
    return n;
}
int main(){
    ios::sync_with_stdio(false);
    std::cin.tie(nullptr);

    __int128_t n=input_int128_t();
    cout << to_string(n*(n+1)/2) << endl;
}