<?php
$n = 3;

var_dump($n * ($n - 1) / 2);
var_dump($n / 2 * ($n - 1));