#include<stdio.h>
int main(){
    int i,k,ans;
    scanf("%d",&i);
    for(k=1;k<=i;i++)
        ans += i;
    printf("%d",ans);
    return 0;
}