

A097374


Perfect 4composites: a perfect 4composite is a natural number that can be represented in the form a^(a^(a^........(a^(a) ) ) ) for some natural number a and some number b>=1 of uparrows.


1



4, 16, 27, 256, 3125, 46656, 65536, 823543, 16777216, 387420489, 10000000000, 285311670611, 7625597484987, 8916100448256, 302875106592253, 11112006825558016, 437893890380859375, 18446744073709551616, 827240261886336764177, 39346408075296537575424, 1978419655660313589123979, 104857600000000000000000000
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,1


COMMENTS

From Natan Arie' Consigli, Jan 17 2016: (Start)
Also, natural numbers of the form H_4(a,b) with a,b > 1. See A054871 for definitions and key links.
Let a and b be positive. a is a unit if there exist b such that a*b=1. The only unit is 1 because only 1*1=1.
x = a*b is composite (in hyper2) if a,b are nonunits.
In hyper4 context the only unit is 1 since a[4]b = 1 if and only if a=1.
Hyper 4composites are numbers of the form H_4(a,b) where a,b are nonunits. This is why for 4composites we have a,b > 1.
1 and 0 are non4composites since H_4(a,b) > 1 if a,b are positive nonunits. (End)


LINKS

Table of n, a(n) for n=1..22.


FORMULA

a(n) = A257309(n+2).


EXAMPLE

4composites include:
H_4(5,2)= 5^5 = 3125;
H_4(3,3) = 3^3^3 = 3^27 = 7625597484987;
H_4(2,4) = 2^2^2^2 = 2^2^4 = 2^16 = 65536;


MATHEMATICA

Join[{4, 16}, Table[n^n, {n, 3, 20}]] (* Vincenzo Librandi, Jan 18 2016 *)


PROG

(MAGMA) [4, 16] cat [n^n: n in [3..20]]; // Vincenzo Librandi, Jan 18 2016


CROSSREFS

Cf. A257309 (nontrivial hyper4 powers H_4(a,b) with b<>1).
Sequence in context: A201009 A111260 A067688 * A257309 A271936 A046358
Adjacent sequences: A097371 A097372 A097373 * A097375 A097376 A097377


KEYWORD

nonn


AUTHOR

Ashutosh (ashu(AT)iitk.ac.in), Sep 18 2004


EXTENSIONS

Corrected by Natan Arie' Consigli, Jan 17 2016


STATUS

approved



