function main(lines) {
  let [a, b, c] = splitN(lines[0]);
  const K = +lines[1];

  for (let i = 0; i < K; i++) {
    if (a >= b) b *= 2;
    else if (b >= c) c *= 2;
  }
  
  return a < b && b < c ? 'Yes' : 'No';
}


const ans = main( require("fs").readFileSync("/dev/stdin", "utf8").trim().split("\n") );
console.log( ans );

function splitN(s) {
  return s.split(' ').map(Number);
}