function main(input) {
    const a = input.split(" ");  // 入力
  
    a=a*(a-1)/2
  
    console.log(a); // 出力
  }
  
  main(require("fs").readFileSync("/dev/stdin", "utf8"));