#include using namespace std; typedef long long ll; typedef pair P; const ll MOD=1000000007; int main(void){ unsigned long long n; cin>>n; n*=2; unsigned long long l=0,r=10000000000; while(r-l>1){ unsigned long long m=(l+r)/2; if(m*(m+1)n){ r=m; }else{ cout<<"YES"<