function Main(input) {
    let inp = input.split(" ");
    let N = parseInt(inp[0],10) - 1;
    let M = parseInt(inp[1],10);
    i = 0
    while (N > 0) {
        i += N;
        N -= 1;
    }
    if(M <= 1){
        console.log(i);
    }else{ 
        console.log(i + M);
    }
}
// Main("2 1")
// Main("4 3")
// Main("1 1")
// Main("13 3")
// Main("0 3")
Main(require("fs").readFileSync("/dev/stdin", "utf8"));