Tìm Amir

Sajjad muốn đi thăm tất cả các trường học để tìm người bạn Amir. Có $n$ trường học được đánh số từ $1$ đến $n$. Giữa mỗi cặp trường $i$ và $j$ có một loại vé giá $(i+j)mod(n+1)$, mua một lần và có thể sử dụng lại nhiều lần để đi giữa hai trường đó.

Hãy giúp Sajjad tính tổng chi phí mua vé nhỏ nhất để có thể đi thăm đủ cả $n$ trường. Sajjad được phép bắt đầu và kết thúc hành trình ở bất kỳ trường nào.

Dữ liệu vào

Một dòng duy nhất chứa số nguyên $n$: số lượng trường học.

Dữ liệu ra

In ra một số nguyên duy nhất: tổng chi phí mua vé nhỏ nhất.

Ràng buộc

• $1\le n\le {10}^5$

Ví dụ