import std; void main(){ auto input = readln.chomp.split(" ").to!(long[]); long N = input[0]; long X = input[1]; long M = input[2]; auto A = readln.chomp.split(" ").to!(long[]); long count = 0; for(auto i = N - 1; i >= 0; i--){ A[i] >>= count; while(A[i] >= X){ A[i] >>= 1; count++; M -= i + 1; } } writeln(M >= 0 ? "Yes" : "No"); }