import std;

alias sread = () => readln.chomp();
alias lread = () => readln.chomp.to!long();
alias aryread(T = long) = () => readln.split.to!(T[]);
//aryread!string();
void main()
{
    long a, b, c;
    scan(a, b, c);
    auto n = lread();
    while (a >= b)
    {
        b *= 2;
        n -= 1;
    }
    // writeln(a, b, c);
    // writeln(n);
    if (c * 2 ^^ n > b)
    {
        writeln("Yes");
    }
    else
    {
        writeln("No");
    }

}

void scan(L...)(ref L A)
{
    auto l = readln.split;
    foreach (i, T; L)
    {
        A[i] = l[i].to!T;
    }
}

void arywrite(T)(T a)
{
    a.map!text.join(' ').writeln;
}
