#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<int,int> P;
#define REP(i,n) for(ll i=0;i<ll(n);i++)





int main(){
	cin.tie(nullptr);  ios_base::sync_with_stdio(false);
    ll i,j,k;


    ll N;
    cin >> N;


    cout << N*(N+1)/2 << endl;





	return 0;

}