#include <stdio.h> int main() { long long n; scanf("%lld", &n); long long sum = n * (n + 1) / 2; printf("%lld\n", sum); return 0; }