#include <iostream>

using namespace std;
int main(int argc, char *argv[])
{
long long int ini ;

while (cin >>ini && ini >=0 ){
cout <<(ini +1 )*ini /2 +1 <<endl ;
}

return 0 ;
}