#include<iostream>//swap(#inc<utility>より)
#include<stdio.h>//printf("%.*f\n",*********);
#include<vector>//s.erase(n),vector
#include<algorithm>//next_permutation
#include<set>
#include<string>//char('a'=32+'A'),to_string,substr
#include<sstream>
#include<complex>
#include<random>
#include<cmath>//min,max
#include<math.h>//要ります？
#include<stack>
#include<queue>
#include<map>//map
#include<iomanip>
#include<locale>
#include<cctype>//文字の判定

#define rt "\n"//改行
#define rep(i,n) for(int i=0;i<n;i++)
#define rop(i,n) for(int i=1;i<=n;i++)//start=1
#define drep(i,n) for(int i=n-1;0<=i;i--)
#define drop(i,n) for(int i=n;0<i;i--)//end=1
#define yes(ans) if(ans)cout<<"yes"<<rt;else cout<<"no"<<rt;
#define Yes(ans) if(ans)cout<<"Yes"<<rt;else cout<<"No"<<rt;
#define YES(ans) if(ans)cout<<"YES"<<rt;else cout<<"NO"<<rt;
#define sec(a,b,ans) if(ans)cout<<a<<rt;else cout<<b<<rt;
#define vcin(a,n) rep(i,n)cin>>a[i];//vcin(配列名),(繰り返し回数)
#define sort(s) sort(s.begin(),s.end())//昇順
#define revesort(s) sort(s),reve(s)//降順
#define reve(s) reverse(s.begin(),s.end())//反転
#define please return
#define AC 0
#define Inf 2147483647//int最大
#define llInf 9223372036854775807//llint最大
#define rapid cin.tie(0);ios::sync_with_stdio(false)
#define pi 3.1415926535897932384626//pi
#define nine 1000000000//10^9
#define print(a) printf("%.15f\n",a)

using namespace std;
typedef vector<int> vint;
typedef long double ldouble;
typedef vector<string> vstr;
typedef vector<char> vchar;
typedef vector<double> vdou;
typedef vector<double> vdouble;
typedef long long int llint;
typedef pair<int, int> pint;
typedef pair<llint, llint> pllint;
typedef vector<llint> vllint;
typedef vector<pint> vpint;

typedef vector<vector<int>> vvint;
typedef vector<vector<char>> vvchar;
typedef vector<vector<double>> vvdouble;
typedef vector<vector<llint>> vvllint;
typedef vector<vector<string>> vvstr;
typedef vector<vector<bool>> vvbool;
typedef vector<vector<pint>> vvpint;
typedef vector<bool> vbool;

long long GCD(long long a, long long b) {
	if (b == 0) return a;
	else return GCD(b, a % b);
}

long long LCM(long long a, long long b) {
	return a * b / GCD(a, b);
}

unsigned GetDigit(unsigned num) {
	return std::to_string(num).length();
}

int tow(int n) {//2のn乗
	if (n == 0)return 1;
	int x = tow(n / 2);
	x *= x;
	if (n % 2 == 1)x *= 2;
	return x;//@domino
}

llint KETAWA(llint n) { //各桁の和
	llint sum = 0;
	while (n > 0) {
		sum += n % 10; n /= 10;
	}
	return sum;
}

unsigned ND(unsigned num) {//Number of Digits
	return std::to_string(num).length();//outmax=10
}

bool KIBN(string s) {//回文判定
	rep(i, s.size() / 2) {
		if (s[i] != s[s.size() - 1 - i])return false;
	}
	return true;
}
bool INTE(double n) {//整数かどうかの判定
	if (ceil(n) == floor(n)) {//切り上げ関数,切り下げ関数
		return true;
	}
	else return false;
}
bool KISU(int n) {//奇数かどうかの判定
	if (n % 2 == 0)return false;
	else return true;
}
bool GUSU(int n) {//偶数かどうかの判定
	if (n % 2 == 0)return true;
	else return false;
}
bool SOSU(int n) {//素数判定
	if (n <= 1)return false;
	for (int i = 2; i * i <= n; i++) {
		if (n % i == 0)return false;
	}
	return true;
}
char CHARHENKAN(char ch) {
	if ('a' <= ch && ch <= 'z') {
		return static_cast<char>(ch - 32);
	}
	else if ('A' <= ch && ch <= 'Z') {
		return static_cast<char>(ch + 32);
	}
	else {
		return ch;
	}
}
string STHENKAN(string s) {
	string ans;
	rep(i, s.size()) {
		ans += CHARHENKAN(s[i]);
	}
	return ans;
}


// (char)toupper(a[n])=文字列のn文字目を大文字で出力

//キャストは必ずstatic_castで

// pow(a,b)=aのb乗


int main(void) {
	rapid;

	int a, b, c;
	cin >> a >> b >> c;
	int k;
	cin >> k;
	int cnt = 0;
	for (int i = 1;; i++) {
		if (b <= a) {
			b *= 2;
			cnt++;
		}
		else if (c <= b) {
			c *= 2;
			cnt++;
		}
		else {
			if (cnt <= k) {
				cout << "Yes" << rt;
				return 0;
			}
			cout << "No" << rt;
			return 0;
		}
	}


	please AC;

}
//参考：---;
//ACしてくれ～～～～～～～～～～～

Measured memory_bytes: 3652