Футболоугольники

После того, как Лионель Месси и Криштиану Роналдо согласились, что дела с математикой у них обстоят не очень хорошо и им очень тяжело поддаются "Футбольные произведения" из предыдущей задачи, они попросили Васю придумать новую игру, более легкую…

В этот раз программист не стал "грузить" футболистов своими тяжёлыми задачами (им же ещё за кубок боротся, как ни как!?), и теперь он придумал им задание по рисованию. Но не просто нарисовать поле или мяч, а многоугольник, который должен был стать шедевром оттечественного "многоугольникостроения", так сказать - "футболоугольником".

Лионель и Криштиану опять попросили придумать по числу. Месси придумал число A, Роналдо - В.

Ребята уже почти начали выполнять это простое задание, как тут Вася им напомнил, что они должны нарисовать A точек и соединить некоторые пары из них отрезками так, чтобы не образовался B-угольник с проведёнными в нём всеми диагоналями и сторонами, причём количество отрезков должно быть максимально. Через несколько минут оба футболиста уже имели и примеры, где достигался максимум, и доказательство, что больше отрезков уже не провести.

Вы опять выступаете в роли рефери, который должен проверить максимальность проведённых рёбер.

Входные данные

В единственной строке записано через пробел названные футболистами два целых числа A и B.

1 < A, B ≤ 1000.

Выходные данные

Единственное целое число - максимальное количество отрезков, которое может быть проведено при заданных условиях.