n = gets.to_i * 2 ok = 0 ng = 2000000000 while ng - ok > 1 mid = (ok + ng) / 2 if mid * (mid + 1) <= n ok = mid else ng = mid end end if ok * (ok + 1) == n puts "YES" p ok else puts "NO" end