#include<bits/stdc++.h>
int main(){
  int N;
  std::cin>>N;
  std::cout<<N*(N+1)/2<<std::endl;
}