lines = []
while line = gets
    lines << line.chomp.split(' ').map(&:to_i)
end

a = lines[0][0]
b = lines[0][1]
c = lines[0][2]
k = lines[1][0]

while a >= b do
  b *= 2
  k -= 1
end

while b >= c do
  c *= 2
  k -= 1
end

if k >= 0 then
  puts "Yes"
else
  puts "No"
end