jiandan

#include<bits/stdc++.h>
using namespace std;
int main(){
int n;
cin >> n;
printf("%d",(1+n)*n/2);
return 0;
}