#include <bits/stdc++.h>
#define all(x) (x).begin(), (x).end()
using namespace std;
typedef long long ll;

int main() {
  int n;
  cin >> n;
  ll ans=0;
  for(int i=1;i<=n;i++)ans+=i;
  cout << ans << endl;
}