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