#include <bits/stdc++.h>
using namespace std;

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