<?php
fscanf(STDIN,"%d%d%d",$N,$X,$M);
$a = array_map('intval',explode(" ", trim(fgets(STDIN))));

$div = 1;
for($i=$N-1;$i>=0;--$i){
    while(intdiv($a[$i],$div) >= $X){
        $div *= 2;
        $M -= $i+1;
        if($M < 0) exit("No" . PHP_EOL);
    }
}
echo "Yes" . PHP_EOL;

?>