#include <iostream>
#include <vector>
#include <unordered_map>

using namespace std;

int main() {
        
  int n;
  cin >> n;
  int cnt = 0;
  for(int s=0; s<=n; s++){
    cnt+=s;
  }
  cout << cnt<< endl;


}