class Problem
  attr_accessor *(?a..?z).to_a.map(&:to_sym)
  def initialize
    @a,@b,@c = gets.to_s.split.map{ |v| v.to_i }  
    @k = gets.to_s.to_i
  end

  def solve
    cnt = 0
    while a >= b
      @b *= 2
      cnt += 1
    end
    while b >= c
      @c *= 2
      cnt += 1
    end
    cnt <= k
  end

  def show(ans)
    puts ans ? "Yes" : "No"
  end
end

Problem.new.instance_eval do
  show(solve)
end