#include<bits/stdc++.h>

using namespace std;

int main(){
    int N; cin >> N;
    
    cout << N*(N + 1) / 2 << endl;
    
   
}