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