#include <bits/stdc++.h>
//#include <atcoder/all>
using namespace std;
//using namespace atcoder;
//using mint = modint998244353; //Mod
#define rep(i, n) for (int i = 0; i < (int)(n); i++) //forループ
#define reps(i, m, n) for (int i = (int)(m); i < (int)(n); i++) //forループ(開始位置指定)
#define rrep(i, n) for (int i = n-1; i >= 0; i--) //forループ逆順
#define rreps(i, n, m) for (int i = (int)(n-1); i >= (int)(m); i--) //forループ逆順(開始位置指定)
#define all(a) (a).begin(), (a).end() //all
#define rall(a) (a).rbegin(), (a).rend() //逆all

#define ll long long //long long型
#define ull unsigned long long //unsigned long long型

#define alphabet "abcdefghijklmnopqrstuvwxyz" //英小文字列
#define alphabet_A "ABCDEFGHIJKLMNOPQRSTUVWXYZ" //英大文字列
#define pi acos(-1) //円周率

#define move_X4 vector<int> {-1, 0, 1, 0} //4方向への移動
#define move_Y4 vector<int> {0, -1, 0, 1} //4方向への移動

#define move_X8 vector<int> {1, 1, 0, -1, -1, -1, 0, 1} //8方向への移動
#define move_Y8 vector<int> {0, 1, 1, 1, 0, -1, -1, -1} //8方向への移動

int main()
{
    int n;
    cin>>n;

    cout<<(n + 1) * n / 2<<endl;
}