#include <stdio.h>
int a, b, c, k, x;
int main() {
	scanf("%d%d%d%d", &a, &b, &c, &k);
	while (a >= b) {
		x++;
		b *= 2;
	}
	while (b >= c) {
		x++;
		c *= 2;
	}
	if (x <= k)printf("Yes\n");
	else printf("No\n");
}