r, g, b = gets.split.map(&:to_i)
k = gets.to_i

def f(r, g, b)
  return [r, 2 * g, b] unless r < g
  return [r, g, 2 * b] unless g < b
  return [r, g, b]
end

k.times do
  r, g, b = f(r, g, b)
end

if r < g && g < b
  puts 'Yes'
else
  puts 'No'
end
