I could calculate the following $$2+1=3$$ $$2^2+1=5$$ $$2^{2^2}+1=17$$ $$2^{2{^{2^2}}}+1=65537$$
Now how can I prove or disprove the formula always gives a prime number
I could calculate the following $$2+1=3$$ $$2^2+1=5$$ $$2^{2^2}+1=17$$ $$2^{2{^{2^2}}}+1=65537$$
Now how can I prove or disprove the formula always gives a prime number
According to the OEIS (here) the fifth term in this sequence,
$$2^{65536} + 1$$
is divisible by 825753601. Therefore, not all such numbers are prime.
The OEIS link above provides some references on this sequence. As Thomas Andrews states in his comment, this is a subsequence of the Fermat numbers, and not much is known.
Entering the following into Sage:
(2^2^2^2^2+1).is_prime()
yields
False
(Also, WolframAlpha says "unknown" when asked that question.)
Therefore, the formula does not always give a prime number.