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

int main(){
	cin.tie(0),ios::sync_with_stdio(false);
	int n,ans=0;
	cin>>n;
	for(int i=1;i<=n;++i)ans+=i;
	cout<<ans<<"\n"s;
}