#include #include #ifdef LOCAL #include #define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else #define debug(...) (static_cast(0)) #endif using namespace atcoder; using mint=modint998244353; using namespace std; using ll=long long; using ul=unsigned long long; int dx[9] = {-1, 1, 0, 0, -1, -1, 1, 1, 0}; int dy[9] = {0, 0, -1, 1, -1, 1, -1, 1, 0}; using Graph=vector>; ll op(ll a,ll b){return min(a,b);} ll e(){return 2e9;} int main(){ ll N; cin>>N; ll l=0,r=2e9; while(r-l>1){ ll m=(r+l)/2; if(m*(m+1)/2<=N)l=m; else r=m; } if(l*(l+1)/2!=N)cout<<"NO"<