n;main(){n=scanf("%d",&n)>printf("%d",n*-~n/2);}