// Don't be dead serious about your life --  it's just like a program
//while(!(succeed==try()));

// Program showing a policy-based data structure.
#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp> // Common file
#include <ext/pb_ds/tree_policy.hpp>
#include <functional> // for less
using namespace __gnu_pbds;
using namespace std;
typedef tree<int, null_type, less<int>, rb_tree_tag,
             tree_order_statistics_node_update>
    new_data_set;
//value at 3rd index in sorted array==*p.find_by_order(3) p.insert()
//index of number 6 ==p.order_of_key(6)
typedef  long long  int ll;
typedef long double ld;
typedef unsigned long long int ull;
//fundamentals
#define pb push_back
#define pf push_front
#define lb(v,val)  (lower_bound(v.begin(),v.end(),val)-v.begin())
#define ub(v,val)  (upper_bound(v.begin(),v.end(),val)-v.begin())
#define line cout<<endl;
#define sortv(v) sort(v.begin(),v.end())
#define sortvd(v) sort(v.begin(),v.end(),greater<ll>())
#define lcm(a,b) (a*b/gcd(a,b))
#define all(v) ((v).begin(),(v).end())
#define v_at_in(n) *p.find_by_order(ll n)
//loops
#define f(i,a,b) for(ll i=(ll)a;i<(ll)b;i++)
#define rf(i,a,b) for(ll i=(ll)a;i>=(ll)b;i--)
#define f0 for(ll i=0;i<n;i++)
#define f1 for(ll i=1;i<=n;i++)
#define fr for(ll i=n-1;i>=0;i--)
//input of array
#define inarray ll a[n];for(ll i=0;i<n;i++)cin>>a[i];
// starter pack
#define test ll T;cin>>T;while(T--)
#define fast ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
//maximum and minimum
#define max3(a,b,c) max(a,max(b,c))
#define min3(a,b,c) min(a,min(b,c))
#define max4(a,b,c,d) max(a,max3(b,c,d))
#define min4(a,b,c,d) min(a,min3(b,c,d))
//some values
#define PI 3.14159265
const ll MOD=1000000000+7;
const ll MOD1 = 998244353;
const ll Val9=1000000000;
const ll Val6=1000000;
ll no_of_divisors(ll n){
 ll c = 0;
 for (ll i = 1; i <= sqrt(n); i++) {
  if (n % i == 0){
   if(n/i==i)
    c=c+1;
   else
    c=c+2;
  }
 }
 return c;
}

ll pwr(ll x, ll y){
 ll r=1;
 while(y>0){
  if(y&1)
   r=r*x;
  x*=x;
  y>>=1;
 }
 return r;
}

ll pwrm(ll x, ll y, ll m){
 x%=m;
 ll r=1;
 while(y>0){
  if(y&1)
   r=r*x%m;
  x=x*x%m;
  y>>=1;
 }
 return r;
}
int isPrime(ll n)
{
    // Corner cases
    if (n <= 1)
        return 0;
    if (n <= 3)
        return 1;

    if (n % 2 == 0 || n % 3 == 0)
        return 0;

    for (int i = 5; i * i <= n; i = i + 6)
        if (n % i == 0 || n % (i + 2) == 0)
            return 0;

    return 1;
}
ll gcd(ll a, ll b)
{
    if (b == 0)
        return a;
    return gcd(b, a%b);
}
vector<ll>vprime;
vector<ll>vsqr;
void SieveOfEratosthenes(ll n)
{
    bool prime[n+1];
    memset(prime, true, sizeof(prime));

    for (ll p=2; p*p<=n; p++)
    {
        if (prime[p] == true)
        {
            for (ll i=p*p; i<=n; i += p)
                prime[i] = false;
        }
    }
    for (ll p=2; p<=n; p++)
    {  if (prime[p])
       {vprime.pb(p);vsqr.pb(p*p);}
    }
}
ll decToBinary(ll n)
{
    ll binaryNum[32];
      ll i = 0;
    while (n > 0) {
        binaryNum[i] = n % 2;
        n = n / 2;
        i++;
    }
    ll c=0;
      for (ll j = i - 1; j >= 0; j--)
     {
         if(binaryNum[j]==1)
         c++;
     }
     return c;
}
int isSubstring(string s1, string s2)
{
    int M = s1.length();
    int N = s2.length();

    /* A loop to slide pat[] one by one */
    for (int i = 0; i <= N - M; i++) {
        int j;

        /* For current index i, check for
 pattern match */
        for (j = 0; j < M; j++)
            if (s2[i + j] != s1[j])
                break;

        if (j == M)
            return i;
    }

    return -1;
}
bool vis[Val6];
vector<ll>v[Val6];   // Define dfs

int dfs(ll s,ll c)
{
    int p=v[s].size();
    vis[s]=c;             // Change node to true
    f(i,0,v[s].size())      // Loop iterating till depth of that particular node
    {
        if(vis[v[s][i]]==false)
        p+=dfs(v[s][i],c);      // Recursive implementation or like backtraping to vist all the nodes in depth                         // & there neighbour nodes at depth
    }
    return p;
} 
bool bipartite(vector<ll>v[])
{ ll s=1;
  int colorArr[Val6];
    for (int i = 0; i < Val6; ++i)
        colorArr[i] = -1;
    colorArr[s] = 1;
    queue <int> q;
    q.push(s);
    while(!q.empty())
    {
        int x=q.front();
        q.pop();
        if(v[x][x]==1)
        return false;
        f(i,1,v[x].size()+1)
        {
            if (v[x][i] && colorArr[i] == -1)
            {
                colorArr[i] = 1 - colorArr[x];
                q.push(i);
            }
             else if (v[x][i] && colorArr[i] == colorArr[x])
                return false;
        }
    }
      return true;
    }
int bfs(vector<ll>v[],ll n)
{
    ll s=1;
    queue<ll>q;
    ll level[Val6]={0};
    q.push(s);
    level[s]=1;
    vis[s]=true;
    while(!q.empty())
    {
        ll p=q.front();
        q.pop();
        f(i,0,v[p].size())
        {
            if(vis[v[p][i]]==false){
            level[ v[ p ][ i ] ] = level[ p ]+1;                 
            q.push(v[ p ][ i ]);
            vis[ v[ p ][ i ] ] = true;}
        }
    }
    return level[n];
}

ll nCr(ll n, ll r) 
{ 
    ll ans=1;
    f(i,0,r)
    {
        ans*=n-i;
        ans/=i+1;
    }
    return ans;
} 
ll one(string x)
{
    ll c=0;
    f(i,0,x.size())
    {
        if(x[i]=='1')
        c++;
    }
    return c;
}

ll binaryToDecimal(string n) 
{ 
    string num = n; 
    int dec_value = 0; 
  
    // Initializing base value to 1, i.e 2^0 
    int base = 1; 
  
    int len = num.length(); 
    for (int i = len - 1; i >= 0; i--) { 
        if (num[i] == '1') 
            dec_value += base; 
        base = base * 2; 
    } 
  
    return dec_value; 
} 
  
int main()
{
#ifdef ENABLE_FILE_IO
freopen("in", "r", stdin);
freopen("out", "w", stdout);
#endif
fast;
// Shuru karte hai bina kisi backchodi ke_____
{
    ll a,b,c;cin>>a>>b>>c;
    ll k;cin>>k;
    f(i,0,k)
    {
        if(b<=a)
        {
            b=2*b;
        }
        else if(c<=b)
        {
            c=2*c;
        }
        else
        break;
    }
    if(a<b&&b<c)
    cout<<"Yes";
    else
    cout<<"No";
   }
// End of program Logic
    cerr<<"Time : "<<1000*((double)clock())/(double)CLOCKS_PER_SEC<<"ms\n";
    return 0;
}

Measured memory_bytes: 27272