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