import Control.Applicative ((<$>))

main :: IO ()
main = do
  solve <$> readLn >>= putStrLn

solve :: Int -> String
solve n
  | i * (i + 1) `div` 2 == n = "YES"
  | otherwise = "NO"
  where
    i = floor . sqrt . fromIntegral $  n * 2