// https://github.com/pekempey/banana
#include <iostream>
#include <algorithm>
#include <vector>
#include <string>
template<class T> int print(T a) { std::cout << a << ' '; return 0; }
int print_endline(int dummy) { std::cout << '\n'; return 0; }
int readint(int dummy) { long long a; std::cin >> a; return a; }
std::string readstr(int dummy) { std::string a; std::cin >> a; return a; }
std::vector<long long> vecint(long long n) { return std::vector<long long>(n, 0); }
int main() {
long long _7=0;
auto _8=readint(_7);
auto _3=_8;
long long _9=0;
auto _4=_9;
long long _10=1;
auto &_11=_3;
for(int _5=_10;_5<=_11;_5++){
auto &_12=_5;
_4+=_12;
}
auto _13=0;
auto &_14=_4;
auto _15=print(_14);
auto _16=_15;
auto _17=_16;
auto _18=_17;
}