#include <bits/stdc++.h>
using namespace std;
 
int main(){
    int N;
    cin >> N;

    cout << N*(1+N)/2 << endl;
    return 0;
}