Untitled

#include <cstdint>
#include <iostream>
using namespace std;
 
int main() {
    uint64_t n;
    cin >> n;
    cout << n * (n + 1) / 2 << "\n";
}