#include "bits/stdc++.h"

using namespace std;

const char en = '\n';
using  ll =          long long;
using ull = unsigned long long;

int main(){
	ios::sync_with_stdio(false);cin.tie();
	int i;
	cin>>i;
	cout<<i*(i+1)/2<<en;
	return 0;
}