#include<bits/stdc++.h>
using namespace std;
#include <atcoder/all> 
using mint = atcoder::modint998244353;
#define int long long
signed main() {
  int n;
  cin >> n;
  cout << n*(n+1)/2 << endl;
}