login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A234039 (2^(3^(n-1)) + 1)/3^n, n >= 1. 2

%I

%S 1,1,19,1657009,9950006745799417075771,

%T 19389268200585836264288587113776883575610248525384021488302948711030121

%N (2^(3^(n-1)) + 1)/3^n, n >= 1.

%C The sequence of the number of digits of a(n) is 1, 1, 2, 7, 22, 71, 217, 655, 1971, 5921, 17771, 53321, 159974, 479933, 1439810,...

%C The proof that a(n) = (2^(3^(n-1)) + 1)/3^n, n >= 1, is indeed a natural number uses 2 = 3 - 1 and the binomial theorem.

%C Euler's theorem shows, in particular, that (4^(3^(n-1)) - 1)/3^n is a natural number (see A152007).

%C From _Jianing Song_, Dec 27 2022: (Start)

%C Note that a(n)/a(n-1) = 1 + ((2^(3^(n-2)) - 2)/3) * a(n-1) * 3^(n-1) for n >= 2. As a result:

%C (a) 19 is the only prime in this sequence;

%C (b) a(m) == a(n) (mod 3^n) for all m >= n. This means that this sequence converges to ...210120102112201 in the ring of 3-adic integers. In particular, all terms are congruent to 1 modulo 9. But a(m) !== a(n) (mod 3^n) for all m < n unless m = 1 and n = 2, because 1 < m < n implies that a(m) !== a(m+1) == a(n) (mod 3^(m+1)). (End)

%H Vincenzo Librandi, <a href="/A234039/b234039.txt">Table of n, a(n) for n = 1..8</a>

%F a(n) = (2^(3^(n-1)) + 1)/3^n, n >= 1.

%F a(n) = (2^(phi(3^n)/2) + 1)/3^n, n >= 1, with Euler's phi(k)= A000010(k).

%t Table[(2^(3^(n - 1)) + 1)/3^n, {n, 1, 10}] (* _Vincenzo Librandi_, Feb 23 2014 *)

%o (Magma) [(2^(3^(n-1)) + 1)/3^n: n in [1..8]]; // _Vincenzo Librandi_, Feb 23 2014

%Y Cf. A152007.

%K nonn

%O 1,3

%A _Wolfdieter Lang_, Feb 21 2014

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified February 7 06:02 EST 2023. Contains 360112 sequences. (Running on oeis4.)