#include<iostream>
using namespace std;
int l,r,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;
  int k=solve();
  if(k*(k+1)/2==n)cout<<"yes";
  else cout<<"no";
}
bool query(long long int x){
if(x*(x+1)/2>=n)return true;
return false;
}