int i=stdin;write(--i*--i/2);