#include<stdio.h>
int main() {
    long n = 0, sum = 0;
    scanf("%d", &n);
    while (n) sum += n--;
    printf("%ld", sum);
    return 0;
}