n, m = read_line.split.map(&.to_i64)
min = n * (n + 1) // 2
puts m < min ? "No" : "Yes"