#include <stdio.h>

int main() {
    int N=0;
    int i=1;
    int ans=1;
    scanf("%d",&N);
    while(N != i) {
        i++;
        ans += i;
    }
    printf("%d",ans);
    return 0;
}