#include<bits/stdc++.h>
using namespace std;
int main() {
	long long n,sum=0;
	scanf("%I64d",&n);

	sum=((n+1)*n)/2;
	printf("%I64d",sum);

	return 0;
}