#include<bits/stdc++.h> using namespace std; long long a,b=0; int main() { cin>>a; for(int i=a;i>=1;i--) { b+=i; } cout<<b; return 0; }