long n;main(){scanf("%d",&n);n=!printf("%ld",n*n/4+n);}