#include<bits/stdc++.h> using namespace std; int main(){ int n; while (scanf("%d", &n) != EOF) { cout<<(1+n)*n/2<<endl; } return 0; }