theorem Th41: :: NUMBER13:41

for n being Nat st n > 1 holds
((2 |^ (2 |^ (n + 1))) + (2 |^ (2 |^ n))) + 1 >= 273