#include <bits/stdc++.h>
using namespace std;
#define int long long
signed main(){
    srand((unsigned)time(NULL));
    int a;
    cin>>a;
    cout<<(a+1)*a/2<<endl;
}