#include using namespace std; long long int n; bool query(long long int x); //queryを満たすもののうち最小のものを返す long long int solve(){ //不変条件: 「常に答えは半開区間 (L, R] の範囲にある」 long long int L=0; long long int R=1000000000; while(R-L>1){ long long int C=(L+R)/2; (query(C)?R:L)=C; } return R; } int main(){ cin>>n; long long int k=solve(); if(k*(k+1)/2==n){ cout<<"YES"<=n)return true; return false; }