#include using namespace std; typedef long long ll; signed main(){ ios::sync_with_stdio(false); cin.tie(0); ll n; cin>>n; long long low=-1,up=2e9+7,mid; while(up-low>1){ mid=(up+low)/2; if(mid*(mid+1)<=n*2){ low=mid; } else{ up=mid; } } if(low*(low+1)==2*n){ cout<<"YES"<