function main(input){
    inputI = input.split(' ');
    N = parseInt(inputI[0]);
    M = parseInt(inputI[1]);
    out=0;

    if(N<=1 && M>1){
        out = M;
    }
    if(N>1 && M<=1){
        out = N*(N-1)/2;
    }
    if(N>1 && M>1){
        out = N*(N-1)/2+M;
    }

    console.log(out);

}

main(require("fs").readFileSync("/dev/stdin", "utf8"));