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