#include <stdio.h>

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