#include <bits/stdc++.h>
using namespace std;

int main(){
    int n,a=0;
    cin >> n;
    
    for(int i=0; i<=n; i++){
        a+=i;
    }
    cout << a << endl;

    return 0;
}