#include <stdio.h>

int main(void){
    int N;
    
    scanf("%d", &N);
    printf("%d\n", (N+1) * N/2);
    
    return 0;
}