#include <iostream>

int main() {
    unsigned long long n;
    std::cin >> n;
    unsigned long long ans = n * (n + 1) / 2;
    std::cout << ans;
    return 0;
}