#include<stdio.h>

int main(){
    int i;
    scanf("%d",&i);
    int ans=i++;
    ans=ans*i;
    ans=ans/2;
    printf("%d",ans);
}