#include<stdio.h>

int main(void) {
    int n;
    int sum = 0;
    int i;
    
    scanf("%d", &n);
    for(i=1; i<=n; i++) {
        sum += i;
    }
    printf("%d", sum);
    return 0;
}