N = gets.to_i
A = gets.split.map(&:to_i)
puts A.any? { _1 <= 1 } ? "Yes" : "No"