#include <bits/stdc++.h>
#define rep(i, n) for (int i = 1; i <= (n); i++)
using namespace std;
typedef long long ll;

int main(){
    int n;
    cin >> n;
    int sum = 0;
    rep(i, n) sum += i;
    cout << sum << endl;
    return 0;
}