Tổng dãy tự nhiên

Viết chương trình nhập vào một số nguyên dương \(x\). Hãy xác định xem \(x\) có phải là tổng của dãy các số tự nhiên liên tiếp bắt đầu từ \(1\) hay không.

Cụ thể, kiểm tra xem có tồn tại \(k\) sao cho: \(x = 1 + 2 + 3 + \cdots + k\).

Input

Một dòng chứa số nguyên dương \(x\) (\(1 \le x \le 10^{12}\)).

Output

In ra YES nếu \(x\) là tổng của dãy tự nhiên liên tiếp bắt đầu từ \(1\). Ngược lại in ra NO.

Sample Input 1

10

Sample Output 1

YES

Sample Input 2

12

Sample Output 2

NO