#include<bits/stdc++.h>
using namespace std;
using s=string;
main(){
    int N;
    cin >> N;
    cout << N*(N+1)/2 << endl;
}