#include <iostream>

int main() {
  int n = 0;
  int r = 0;

  std::cin >> n;
  while (n) {
    r += n;
    n--;
  }
  std::cout << r << std::endl;
  return 0;
}