val n = valOf (TextIO.scanStream (Int64.scan StringCvt.DEC) TextIO.stdIn); val m = valOf (TextIO.scanStream (Int64.scan StringCvt.DEC) TextIO.stdIn); print (if n*(n+1) div 2 > m then "No\n" else "Yes\n");