Đếm Gói Dưới Đường Chéo Kho Cái Lân

Mô tả

Tại cảng Cái Lân, khu kho trung chuyển được chia thành một lưới ô vuông kích thước n × n. Mỗi ô là một vị trí đặt cont, đánh số theo tọa độ (i, j) với 1 ≤ i, j ≤ n. Ô (1,1) nằm ở góc trên bên trái, và đường chéo chính đi qua các ô (1,1), (2,2), ..., (n,n).

Đội kho điện tử muốn ước lượng số ô nằm nghiêm ngặt phía dưới đường chéo chính (tức là các ô (i, j) thỏa j < i). Những ô này sẽ được ưu tiên quét tự động vì gần trục băng chuyền phụ. Bạn hãy giúp đội kho viết chương trình nhập n và đưa ra số ô thỏa mãn điều kiện trên.

Đầu vào

• Một số nguyên dương n (1 ≤ n ≤ 10^9) — kích thước của lưới kho.

Đầu ra

• Một số nguyên duy nhất — số ô vuông nằm nghiêm ngặt phía dưới đường chéo chính.

Ràng buộc

• 1 ≤ n ≤ 10^9
• Kết quả có thể lên tới 10^18, nên chú ý dùng kiểu số nguyên đủ lớn (Python tự động, C++ dùng long long).

Ví dụ

Ví dụ 1

• Đầu vào: 3
• Đầu ra: 3
• Giải thích: Lưới 3×3 có 9 ô. Các ô dưới đường chéo chính là (2,1), (3,1), (3,2) — tổng cộng 3 ô. Thật vậy, với n = 3 thì (3 × 2) / 2 = 3.

** Ví dụ 2**

• Đầu vào: 5
• Đầu ra: 10
• Giải thích: Hàng 1 có 0 ô, hàng 2 có 1 ô, hàng 3 có 2 ô, hàng 4 có 3 ô, hàng 5 có 4 ô. Tổng là 0+1+2+3+4 = 10, hoặc dùng công thức (5 × 4) / 2 = 10.