lskdfjk

#include<bits/stdc++.h>
#define LL long long
using namespace std;
LL n;
int main(){
cin>>n;
cout<<(n+1)*n/2;
return 0;
}