Untitled

#include <iostream>

int main() {
    uint64_t n;
    std::cin >> n;
    std::cout << n * (n + 1) / 2 << "\n";
}