import std.stdio;
import std.string;
import std.conv;

void main() {
    
    int[100] n;
    int line = 0;
    
    // input
    for(int i=0; ; ++i) {
        auto temp = readln().chomp;
        
        if(stdin.eof) {
            break;
        }
        
        ++line;
        n[i] = to!int(temp);
    }
    
    for(int i=0; i<line; ++i) {
        
        writefln("%d", 2 + (n[i] + 2) * (n[i] - 1) / 2);
        
    }
    
}