N, M = gets.split.map(&:to_i)

if N * (1 + N) / 2 <= M
  puts 'Yes'
else
  puts 'No'
end