b;main(){scanf("%d%d%d",b,b,&b);printf("%d",b*(b+1)/2);}