Районная олимпиада по информатике 2020 года за 11 класс | Казахстанские олимпиады

Задача A. Равнобедренные треугольники

Треугольник называется равнобедренным, если хотя бы две из трёх сторон имеют одинаковую длину. Посчитайте количество равнобедренных треугольников, у которых длина каждой стороны - целое число от $1$ до $N$. Не забывайте, что треугольник существует только в том случае, когда длина каждой стороны меньше суммы длин двух других сторон.

Формат входного файла

В единственной строке вводится одно натуральное число $N$.

Формат выходного файла

Выведите количество подходящих треугольников.

Примеры

Вход

4

Выход

12