#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;
}