#include <stdio.h>

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