Ascending With Up Arrows

>Home>3.2

3.2.3

^^^^ ASCENDING WITH UP ARROWS ^^^^

PREV>> 3.2.2 - The Fz, The Fuga & The Megafuga

Introduction

        Humans have long had a penchant for large numbers, even if only within esoteric circles. It was a common claim in Archimedes time to say that the number of sands on the earth were "infinite"; that is to say "beyond counting". It was assumed that no number system conceivable by man could encompass such a number; in gist, that the world was much bigger than man could imagine. Archimedes showed such a notion is mathematically naive. He made a gross overestimate of the number of grains of sand on the earth, by filling up the entire universe (as understood at the time) with sand! This upper bound proved that there could not be more than 1064 grains of sand on the entire earth. More to the point, the actual value would have to be significantly less! He then went on to create a numeration system that could be extended as far as 108*10^16[1]. Thus Archimedes demonstrated once and for all that contrary to the folk wisdom that the numbers of man could never encompass the size of the world, that the opposite was in fact the case: the world could never hope to encompass the merest stretch of mans imagination!

        Buddhist religious literature is also known for some very large numbers. The largest named number in buddhist literature is a number known as "bukeshuo bukeshuo zhuan" equal to exactly 107*2^122[2]. This number is approximately equal to and greater than 1010^37, making it even larger than Archimedes' Number!

        This was more or less as far as humans had gone in antiquity. However it was not until the modern era when mathematicians were studying recursion that rapid progress was made in the creation of very large numbers. This advance was largely due to the improved notational and conceptual tools that mathematicians were working with, that made understanding large numbers a great deal easier than was previously possible. Archimedes used a very arcane place value system using the greek alphabet that was somewhat cumbersome by modern standards. Decimal notation vastly improved the ability of mathematicians to work with and describe very large numbers, but even this was not enough to really transcend numbers like those expressed by archimedes. Following the end of the dark ages, when much mathematical knowledge had been lost, an earnest attempt to revitalize mathematics began. An important part of this mathematical renaissance was the standardization of much mathematical notation we use today.

        With the serious study of exponents underway in the 16th Century it was only natural that mathematicians would soon wonder what would happen if you continued the operations beyond exponents. It was this line of thinking, motivated by many other considerations, that eventually lead to some truly vast numbers that would make even the dreamers of the bukeshuo bukeshuo zhuan gasp in horror!

        Let us now turn to the important precursors to the modern large number field...

Development of Exponential Notation

        Modern mathematical notation is so ubiquitous that it comes as a bit of a surprise that it wasn't always so tidy. The "+" and "-" signs that come in so handy for expressing sums and differences first appeared in print in the year 1526[3]. In this document they were used for accounting purposes to represent surpluses and deficits, but they soon took on the more general meaning of "sign" that we're familiar with. The "+" sign probably began as a shorthand for "et", which is latin for "and". For example, to write out something like 2 plus 3, mathematicians of the time might have written something like:

2 et. 3

        suggesting "2 and 3". This eventually was shortened to the "2+3" that we are familiar with.

        The use of the "cross" or "x" for multiplication comes a little later. It appears in William Oughtred's "Key to Mathematics" composed in 1628. It is tempting to speculate that the "x" for multiplication was the result of taking the "+" for addition and rotating it. Thus Oughtred would have written:

2 X 3

        to mean 2 multiplied by 3. This is not that unfamiliar to most people since this notation is still used today in elementary school. However, even at the time the use of "x" as an unknown in algebra was widespread. Because of this Gottfried Leibniz complained that the use of "X" for multiplication could get confused with the "x" used in algebra. Leibniz suggested the use of the dot, "·", as early as 1698. Thus he would write:

2·3

         to mean 2 multiplied by 3. He is also responsible for the omission of the dot in algebraic expressions, ie. "2x", "xy" etc. The Asterisk was also used as in "2*3" as early as 1659.

        Mathematicians used exponents sparingly at first. Although it was sometimes necessary to speak of square numbers, cubes, and tesseracts, this could be specified simply by using repeated multiplication. For example "x squared" could be written simply as:

xx

        Rene Descartes advocated this notation for square numbers. Around 1634 Pierre Herigone was writing powers of x as x2, x3, x4, etc. The problem with this notation is it wouldn't work when the base was an integer rather than a variable. This could also be confused with multiplication as in "2x", "3x", "4x", etc.    

        The use of a superscript for exponents was first introduced in 1636 in Jame Hume's "The algebra of Vieta Method Novelle, clear and easy"[4]. James used a raised roman numeral to represent an exponent. For example, to express x cubed, James would have used:

xIII

        In 1637 Rene Descartes replaced the roman numerals with ordinary decimal numbers. Thus he would have written:

x3

        like we would today. Oddly the idea of using raised exponents for any power took some time to take hold. Alternative notations were used when the power was a negative, or fraction. Eventually however the simple superscript notation prevailed for all real and complex powers.

        In the 1960s when typewriters were already common, and computers were just getting started, the caret symbol, "^", came into vogue for writing exponents. The caret key was originally a proof reading symbol which served to insert something additional. In fact the name "caret" was derived from latin for "it lacks"[5]. In order to change superscript notation into a linear format the caret was used in the following manner:

b^p = bp

        This usage has become quite popular on the internet to the present day.

What is Tetration & The Hyper-Operators?

        In 1544 German mathematician Michael Stifel[6] published an investigation into exponentiation. He was the first to discover logarithms, one of the two inverse functions of exponentiation. Logarithms were further studied by John Napier, who is often credited with their creation. The domain of the exponential operation was extended steadily in the following decades. Mathematicians eventually realized a connection between fractional powers and roots, and proceeded to extend powers to the real numbers. It was sometime in the 18th Century that mathematicians figured out how to raise numbers to complex powers thanks to Euler's formula.

        With an understanding of exponentiation well underway it was only a matter of time until someone began to wonder about what the "next" operation would be. The next operation is what is commonly referred to as tetration.       

        The study of "tetration" can be said to have begun in 1758 with French mathematician Johann Heinrich Lambert. Specifically he was studying the infinite iterated exponential function. This function can be defined as the limit as n approaches infinity of the function:

exp(a,n,z) = aa...az w/n a's

        A stack of exponents in this manner is often referred to as a "power tower". Surprisingly, the iterated exponential function does not always increase without bound when n goes to infinity. Sometimes it approaches a limit. This can be anticipated by the following observations:

        If we begin with 2, then have 22 = 4, then 222 = 24 = 16, then 2222 = 65,536, etc. it can be seen that as we feed back the exponent into itself the values increase without bound. However if we begin with 1, then have 11 = 1, then have 111 = 1, etc. we see that the value will never increase beyond 1. So the question is, what would happen if we use a value between 1 and 2? It turns out that if the chosen value is less than ee-1 (approximately 1.444) then the infinite power tower converges to some finite value.

        As surprising as this is tetration largely remained at the outskirts of mathematical investigation until the 20th century. It was for the most part only of theoretical interest with few practical applications. Today most of the interest in tetration revolves around extending it to complex numbers, just as was done for exponentiation. For example, the background image at the top of this page was created by mapping tetration unto a complex number plane, producing fractal like images.

        The status of tetration began to change due to developments within mathematics during the late part of the 19th century. Mathematicians were searching for a firmer foundation of mathematics. After much rapid development in mathematics during the last couple hundred years it was only natural to turn ones attention in the opposite direction and wonder where all of this development was coming from. An interest in foundational issues probably began with the invention of Calculus, because dealing with limits and the infinite involved very careful reasoning, thus raising the question of what the proper way to reason in mathematics is.

        In the mist of this atmosphere, Georg Cantor devised "set theory", a new foundational theory of mathematics. The basic gist was that all mathematical objects could be understood as sets. In 1901 however Bertrand Russell discovered a devastating paradox, now known as Russell's paradox, within set theory itself!

        Thus at the dawn of the 20th century mathematicians were very much absorbed with the problem of patching up such paradoxes and creating a more rigorous foundation for mathematics. This general imperative spread to all areas of mathematical research.

        The beginnings of computer science were also underway and some mathematicians were looking for a rigorous definition of what it meant for something to be "computable". They had devised a set of rules for creating an infinite class of functions, now called the "primitive recursive functions". It was thought that this infinite class contained all "computable functions". However in 1928 Wilhelm Ackermann devised a 3-argument function that was not a member of the primitive recursive functions, thus proving computability was a broader concept than was thought. As it turns out, Ackermann's function describes a series of operations, and among them one that is very much like tetration. Better yet Ackermann's function can also be used to define an infinite number of operations past tetration.

        The 3-argument Ackermann function can be written as:

A(m,n,p)

        It can then be defined as follows:

A(m,n,0) = m+n

A(m,n,1) = m*n

A(m,n,2) = mn

        When p = 3, the Ackermann function reduces to tetration. When p > 3 , we get one of the higher so called hyper-operators. I'll use the term hyper-operator to refer to any operation along this sequence higher than exponentiation.

        Although Ackermann didn't make his function expressly to define the hyper-operators, it none the less was soon adapted to that purpose.

        Later mathematicians refined both the notations and terminology for the hyper-operators. The term "tetration" was coined for the 4th operator in 1947 by Reuben Louis Goodstein. He obtained it by combining "tetra" which is greek for 4, and "iteration". He also coined "pentation", "hexation", and so on using the greek prefixes.

        The notation:

pb

        for b tetrated to the p, was popularized by Goodstein, but was first used in 1901 by Hans Maurer. While this notation is handy, there wasn't really such handy notations for any of the higher operators. This is where up-arrows come in...

Donald Knuth's Up-Arrow Notation

        In 1976 Donald E. Knuth introduced his up-arrow notation for all the hyper operations. The basic idea is to use a special symbol, the up-arrow, "↑", to act as a tally mark for the operation level. He begins by letting the single up-arrow represent exponents:

b↑p = bp

        Tetration is represented by two up-arrows between arguments:

b↑↑p = pb

        Each successive operation is represented by including one additional up-arrow between arguments. Thus:

b↑↑↑p is pentation

b↑↑↑↑p is hexation

b↑↑↑↑↑p is heptation

b↑↑↑↑↑↑p is octation

etc.

        On the internet the "caret variant" is the more popular because of the universality of the caret symbol, where as the up-arrow isn't included in the standard ASCII character set. Using the "Caret notation" we have:

b^p is exponentiation

b^^p is tetration

b^^^p is pentation

b^^^^p is hexation

etc.

          Knuth up-arrows, and especially the caret variety are currently the de facto standard for higher operations, at least within recreational mathematics. To further enhance the usefulness of the up-arrow notation a more compact form is also available. By using a superscript in front of a single up arrow we can indicate "any" number of arrows easily:

b↑c p = b↑↑↑ ... ↑↑p w/c ↑s

           provided of coarse that "c" is itself a number we can easily express.

Defining the Hyper-Operators

        Knuth's Up-arrow notation is very convenient, and makes it very easy to explain how the hyper-operations actually work.

        The basic idea of the hyper-operators can be understood as the continuation of a pattern established by the sequence of addition, multiplication, and exponentiation.

        Firstly note that multiplication can be understood as "repeated addition", related by the following equation:

b*p = b+b+b+ ... +b+b w/p bs

        Furthermore, exponentiation can be understood as "repeated multiplication":

bp = b↑p = b*b*b* ... *b*b w/p bs

        This implies that we could create another operation to represent "repeated exponentiation".

 Using Up-arrow notation we can say that:

b↑↑p = b↑b↑b↑ ... ↑b↑b w/p bs

        There is a problem with this definition however. Depending on the order that such an expression is evaluated, it may have different results. For example, take 3↑3↑3. If we evaluate it from left to right we obtain:

3↑3↑3 = 27↑3 = 19,683

        If we evaluate it from right to left however we obtain:

3↑3↑3 = 3↑27 = 7,625,597,484,987

        Note the radical difference in size of the results! In general, the largest result is always generated by working from right to left. Because of this, it has been generally accepted that tetration should refer specifically to "right to left resolution" of repeated exponentiation. To avoid ambiguity the following recursive definition can be used:

b↑↑1 = b

b↑↑p = b↑(b↑↑(p-1)) for p>1

        This is equivalent to right to left resolution. Tetration is only the smallest of the hyper-operators however! A hyper-operator here will refer to any operation past exponentiation. The hyper-operator hierarchy can continue indefinitely by simply defining the next operator as repeated applications of the previous operator.

        The next operation after tetration would be "repeated tetration" or "pentation". We can say that:

b↑↑↑p = b↑↑b↑↑b↑↑ ... ↑↑b↑↑b w/p bs

        Whenever we resolve such expressions we will always resolve them from right to left to generate the largest possible result. Hexation can be defined as:

b↑↑↑↑p = b↑↑↑b↑↑↑b↑↑↑ ... ↑↑↑b↑↑↑b w/p bs

        heptation as:

b↑↑↑↑↑p = b↑↑↑↑b↑↑↑↑b↑↑↑↑ ... ↑↑↑↑b↑↑↑↑b w/p bs

         octation as:

b↑↑↑↑↑↑p = b↑↑↑↑↑b↑↑↑↑↑b↑↑↑↑↑ ... ↑↑↑↑↑b↑↑↑↑↑b w/p bs

etc.

        In this way we can construct an infinite hierarchy of operations beginning with addition, multiplication, exponentiation, and continuing with tetration, pentation, hexation, heptation, octation, and beyond...

Alternative Hyper-Operator Notations

        In addition to the Up-arrow notation, there are other notations that can be used to represent the hyper-operators. There has been attempts to extend the superscript notation used for exponents to arbitrary operation levels. Although the notation bp for exponents and pb for tetration is convenient and generally accepted, continuing this pattern proves somewhat awkward.

        The pattern established by these first two operations seems to suggest continuing by going counter-clockwise. Thus we might use pb for pentation. Although the use of a smaller "p" distinguishes this from exponentiation, the difference is subtle and can easily be mistaken for pb (p to the b).

        In 2004, Mark Cutler[7] introduced "bar notation" as a solution to this problem. Some general examples are presented below:

        The basic idea is to use a series of bars over the base to distinguish the operation level. Pentation can be distinguished from exponents by the inclusion of a bar. Hexation can be distinguished from tetration in a likewise manner. Heptation (b^^^^^p) can be distinguished from pentation by using a double bar, and octation can be distinguished from Hexation using a double bar. In this manner, one can go around counter-clockwise as many times as one wishes, and simply add more bars to distinguish various operation levels.

        I myself use a similar system when working with higher operators on paper. Instead of using bars, which can lead to some problems when mixing operations, I use arrows. An example of how I represent various operation levels is presented below:

        I rarely use subscript/superscript notations past hexation, however one can continue by letting heptation be represented as b-->p , and octation as p<--b. To continue, one can simply add additional arrow heads to distinguish them from earlier operations. Ennation would be p<<--b, dekation would be b-->>p, hendekation would be b-->>p, and dodekation would be p<<--b. 

        Jonathan Bowers also has an infix notation which allows him to express the higher operators very easily. We can say that:

b<c>p = b^^^...^^p w/c ^s

         Robert Munafo uses a very similar notation which uses a circle with the operator number inside. I will use parentheses to represent the circle. In Munafo's system we have:

b(1)p = b+p

b(2)p = b*p

b(3)p = b^p

b(4)p = b^^p

b(5)p = b^^^p

b(6)p = b^^^^p

etc.

        Analogous to how we can repeat the caret symbol to continue the operations, we can also use the "+" symbol in the same way. Let:

b++p = b*p

b+++p = b^p

b++++p = b^^p

etc.

        The guys over at the "big psi" website have a similar system, except they use an extension of the star notation:

b**p = b^p

b***p = b^^p

b****p = b^^^p

etc.

        The use of stars suggests that addition should be considered as the zeroth operation, multiplication as the first, exponents as the 2nd, etc. Although this might at first seem unnatural consider that addition is unlike all the other operators. Unlike all the others it is not composed by repetitions of some lower operation. Multiplication is therefore the first operation built from repeating a lower one, exponentiation the 2nd, tetration the 3rd, and so on. In this way, the use of stars to count the operation level seems appropriate.       

        There is also other ways of representing the operator hierarchy. For example, it can be represented as a 3-argument function, involving a "base", a "polyponent" and an "operator rank". In Jonathan Bower's Array notation, the operators can be represented as:

<b,p,c> = b^^^...^^p w/c ^s

        That covers all of the more popular ways of representing the various operators. There are of coarse more, but this should give you a good familiarity with most of the main notations used.

Tetrational Numbers

        Now that we have some understanding of the definition, and common notations for the higher operators, let's explore the power of the smallest of the so called "hyper-operators", tetration. We will be using Donald Knuth's Up-arrow notation for the expressions, and my sub/superscript notations to help relate the sheer scale of these numbers.

        Tetration is already powerful enough to exceed Numbers like those described by Archimedes with arguments less than ten! The number being repeated we will call the "base", and the number that tells us how many times to repeat it we will call the "polyponent" (a combination of the words "poly" and "exponent").

        "b↑↑p" read as "b tetrated to p" is commonly described as "b raised to itself p times". This however is a terribly ambiguous phrase and is arguably incorrect. "b raised to itself" would naturally mean b↑b. "b raised to itself twice" should mean (b↑b)↑b. Therefore b raised to itself p times should mean:

((...((b↑b)↑b)...)↑b)↑b w/p+1 bs = b↑(b↑b)

        This result can be obtained using the exponential law (b↑p)↑a = b↑(pa).

        A better and less ambiguous description of b tetrated to p would be "a power tower of bs p terms high". This is generally understood without confusion. Using Up-arrows, let's evaluate some tetrational expressions to get a feel for how they work and how powerful they are.

        Firstly, let's make some observations. Whenever the polyponent is 1, we find that the expression is equal to the base:

b↑↑1 = b

        Another important observation is to consider what happens when the base is 1. Say we have 1↑↑p, where p>1. Observe:

1↑↑p = 1↑1↑1↑ ... ↑1↑1↑1 w/p 1s

        But since 1↑1 = 1, it follows that :

1↑1↑1↑ ... ↑1↑1↑1

=

1↑1↑1↑ ... ↑1↑1

=

1↑1↑1↑ ... ↑1

=

... ... ... ... ... ...

=

1↑1↑1

=

1↑1

=

1

            In other words, 1↑↑p will always reduce to 1, no matter how long the initial expression is! Thus if either the base or polyponent is equal to 1, we won't get very impressive values. Let use consider then the smallest possible non-trivial example, 2↑↑2.

2↑↑2 = 22 = 4

            So far not very impressive. However, what if we have 2↑↑3:

2↑↑3 = 222 = 24 = 16

            So far not too big a deal. How about 2↑↑4:

2↑↑4 = 2222 = 224 = 216 = 65,536

            That's big as far as ordinary numbers go, but its nothing surprising. Now let's consider 2↑↑5:

2↑↑5 = 22222 = 2224 = 2216 = 265,536 =

20035299304068464649790723515602557504478254755697514192650169737108940595563

11453089506130880933348101038234342907263181822949382118812668869506364761547

02916504187191635158796634721944293092798208430910485599057015931895963952486

33723672030029169695921561087649488892540908059114570376752085002066715637023

66126359747144807111774815880914135742720967190151836282560618091458852699826

14142503012339110827360384376787644904320596037912449090570756031403507616256

24760318637931264847037437829549756137709816046144133086921181024859591523801

95331030292162800160568670105651646750568038741529463842244845292537361442533

61437372908830379460127472495841486491593064725201515569392262818069165079638

10641322753072671439981585088112926289011342377827055674210800700652839633221

55077831214288551675554073345107213112427399562982719769150054883905223804357

04584819795639315785351001899200002414196370681355984046403947219401606951769

01561197269823378900176415171900511334663068981402193834814354263873065395529

69691388024158161859561100640362119796101859534802787167200122604642492385111

39340046435162386756707874525946467090388654774348321789701276445552940909202

19595857516229733335761595523948852975799540284719435299135437637059869289137

57153740001986394332464890052543106629669165243419174691389632476560289415199

77547770313806478134230959619096065459130089018888758808473362595606544488850

14473357060588170901621084997145295683440619796905654698136311620535793697914

03236328496233046421066136200220175787851857409162050489711781820400187282939

94344618622432800983732376493181478984811945271300744022076568091037620399920

34920239066262644919091679854615157788390603977207592793788522412943010174580

86862263369284725851403039615558564330385450688652213114813638408384778263790

45960718687672850976347127198889068047824323039471865052566097815072986114143

03058169279249714091610594171853522758875044775922183011587807019755357222414

00019548102005661773589781499532325208589753463547007786690406429016763808161

74055040511767009367320280454933902799249186730653993164072049223847481528061

91669009338057321208163507076343516698696250209690231628593500718741905791612

41536897514808261904847946571736601005892476655445840838334790544144817684255

32720731558634934760513741977952519036503219802010876473836868253102518337753

39088614261848003740080822381040764688784716475529453269476617004244610633112

38021134588694532200116564076327023074292426051582811070387018345324567635625

95143003203743274078087905628366340696503084422585596703927186946115851379338

64756997485686700798239606043934788508616492603049450617434123658283521448067

26676841807083754862211408236579802961200027441324438432402331257403545019352

42877643088023285085588608996277445816468085787511580701474376386797695504999

16439982843572904153781434388473034842619033888414940313661398542576355771053

35580206622185577060082551288893332226436281984838613239570676191409638533832

37434375883085923372228464428799624560547693242899843265267737837317328806321

07532112386806046747084280511664887090847702912081611049125555983223662448685

56651402684641209694982590565519216188104341226838996283071654868525536914850

29953967550395493837185340590009618748947399288043249637316575380367358671017

57839948184717984982469480605320819960661834340124760966395197780214411997525

46704080608499344178256285092726523709898651539462193004607364507926212975917

69829389236701517099209153156781443979124847570623780460000991829332130688057

00465914583872080880168874458355579262584651247630871485663135289341661174906

17526671492672176128330845273936469244582892571388877839056300482483799839692

02922221548614590237347822268252163995744080172714414617955922617508388902007

41699262383002822862492841826712434057514241885699942723316069987129868827718

20617214453142574944015066139463169197629181506579745526236191224848063890033

66907436598922634956411466550306296596019972063620260352191777674066877746354

93753188995878662821254697971020657472327213729181446666594218720034745089428

30911535189271114287108376159222380276605327823351661555149369375778466670145

71797190122711781278045024002638475878833939681796295069079881712169068692953

82485298300234760684541141781391106485602365497542274972310076151318700240539

10510913817843721791422528587432098524957878034683703337818421444017138688124

24998441861812927119853331538256732187042153063119774853521467095533462633661

08646673322924098798492566911095161436186015489097402419135096230436121961281

65950518666022030715613684732364660868905014263913906515063908199378852318365

05989729912540447944342516677429965981184923315155527288327402835268844240875

28112832899806259126736995462473415433335001472314306127503903073971352520693

38173843322950701049061867539433130784798015655130384758155685236218010419650

25559618193498631591323303609646190599023611268119602344184336333459492763194

61017166529138237171823942992162725384617760656945422978770713831988170369645

88689811863210976900355735884624464835706291453052757101278872027965364479724

02540544813274839179412882642383517194919720979714593688753719872913083173803

39110161285474153773777159517280841116275971863849242228023734419254699919836

72192131287035585307966942713416391033882754318613643490100943197409047331014

47629986172542442335561223743571582593338280498624389249822278071595176275784

71094751190334822414120251826887137281931042534781961284401764795315050571107

22974314569915223451643121848657575786528197564843508958384722923534559464521

21583165775147129870822590929265563883665112068194383690411625266871004456024

37042006637090019411855571604720446436969328500600469281405071190692613939939

02735534545567470314903886022024639948260501762431969305640666366626090207048

88743889890749815286544438186291738290105182086993638266186830391527326458128

67828066013375000965933646251460917231803129303478774212346791184547913111098

97794648216922505629399956793483801699157439700537542134485874586856047286751

06542334189383909911058646559511364606105515683854121745980180713316361257307

96111683438637676673073545834947897883163301292408008363568259391571131309780

30516441716682518346573675934198084958947940983292500086389778563494693212473

42610306271374507728615692259662857385790553324064184901845132828463270926975

38308673084091422476594744399733481308109863994173797896570106870267341619671

96591599588537834822988270125605842365589539690306474965584147981310997157542

03256395776070485100881578291408250777738559790129129407309462785944505859412

27319481275322515232480150346651904822896140664689030510251091623777044848623

02294889667113805556079566207324493733740278367673002030116152270089218435156

52121379215748206859356920790214502277133099987729459596952817044582181956080

96581170279806266989120506156074232568684227130629500986442185347081040712891

76469065508361299166947780238225027896678434891994096573617045867862425540069

42516693979292624714524945408858422726153755260071904336329196375777502176005

19580069384763578958687848953687212289855780682651819270363209948015587445557

51753127364714212955364940843855866152080121150790750685533444892586932838596

53013272046970694571546959353658571788894862333292465202735853188533370948455

40333656535698817258252891805663548836374379334841184558016833182767683464629

19956055134700391478768086403226296166415606675081537106467231084619642475374

90553744805318226002710216400980584497526023035640038083472053149941172965736

78506642140084269649710324191918212121320693976914392336837470922826773870813

22366800869247034915868409911530983154120635661231875043054675369832308279664

57417620806593177265685841681837966106144963432544111706941700222657817358351

25982108076910196105222926387974504901925431190062056190657745241619191318753

39840493439768233102984658933183730158095925228292068208622303325852801192664

96314441316442773003237792274712330696417149945532261035475145631290668854345

42686978844774298177749371011761465162418361668025481529633530849084994300676

36548061029400946937506098455885580439704859144495844450799784970455835506854

08745163316464118083123079704389849190506587586425810738422420591191941674182

49045270028826398305795005734171148703118714283418449915345670291528010448514

51760553069714417613685823841027876593246626899784183196203122624211773914772

08004883578333569204533935953254564897028558589735505751235129536540502842081

02278524877660357424636667314868027948605244578267362623085297826505711462484

65959142102781227889414481639949738818846227682448516220518170767221698632657

01654316919742651230041757329904473537672536845792754365412826553581858046840

06936771860502007054724754840080553042495185449526724726134731817474218007857

46934654471360369758841180294080396167469462885406791721386012254195038197045

38417268006398820656328792839582708510919958839448297775647152026132871089526

16341770715164289948795356485455355314875497813400996485449863582484769059003

31169613037661279234643231297066284113074270462020320133683503854253603136367

63575212604707425311209233402837482949453104727418969287275572027615272268283

37674139342565265328306846999759709775000556088993268502504921288406827413988

16315404564903507758716800740556857240217586854390532281337707074158307562696

28316955687424060527726485853050611356384851965918968649596335568216975437621

43077866593473045016482243296489127070989807667662567151726906205881554966638

25738292741820822789606844882229833948166709840390242835143068137672534601260

07269262969468672750794346190439996618979611928750519442356402644303271737341

59128149605616835398818856948404534231142461355992527233006488162746672352375

12343118934421188850850793581638489944875447563316892138696755743027379537852

62542329024881047181939037220666894702204258836895840939998453560948869946833

85257967516188215941098162491874181336472696512398067756194791255795744647142

78686240537505761042042671493660849802382746805759825913310069199419046519065

31171908926077949119217946407355129633864523035673345588033313197080365457184

79155043265489955970586288828686660661802188224860214499997312216413817065348

01755104384066244128228036166489042573776409563264828252584076690456084394903

25290526337532316509087681336614242398309530806549661879381949120033919489494

06513239881664208008839555494223709673484007264270570116508907519615537018626

47974563811878561754571134004738107627630149533097351741806554791126609380343

11378532532883533352024934365979129341284854970946826329075830193072665337782

55931433111096384805394085928398890779621047984791968687653998747709591278872

74758744398067798249682782722009264499445593804146087706419418104407582698056

88038949654616587983904660587645341810289907194293021774519976104495043196841

50345551404482092893337865736305283061999007774872692299860827905317169187657

88609089418170579934048902184415597910926768627965975839524839267348836347456

51687016166240642424241228961118010615682342539392180052483454723779219911228

59591419187749179382334001007812832650671028178139602912091472010094787875255

12633728842223538694900679276645116347581011938753196572421214760382847747745

71704578610417385747911301908583877890152334343013005282797038580359815182929

60030568261209195094373732545417105638388704752895056396102984364136093564163

25894081379815116933386197973398216707610046079800960160248230969430438069566

20123213650140549586250615282588033022908385812478469315720323233601899469437

64772672187937682643182838260356452069946863021604887452842436359355862233350

62359450028905585816112753417837504559361261308526408280512138731774902002495

52738734585956405160830583053770732533971552620444705429573538361113677523169

97274029294167420442324811387507563131907827218886405337469421384216992886294

04796353051505607881263662064972312575790195988730411956262273437289005165611

11094111745277965482790471250581999077498063821559376885546498822938985408291

32512907647838632249478101675349169348928810420301561028338614382737816094634

13353835783407653143214171506558775478202524547806573013422774706167442419689

52613164274104695474621483756288299771804186785084546965619150908695874251184

43583730659095146098045124740941137389992782249298336779601101538709612974970

55663016373072027507347599229437923938244274211861582361613178863925530951171

88421298508307238259729144142251579403883011359083331651858234967221259621812

50705811375949552502274727467436988713192667076929919908446716122873885845758

46227265733307537355728239516169641751986750126817454293237382941438248143771

39861906716657572945807804820559511881687188075212971832636442155336787751274

76694079011705750981957508456356521738954417987507452385445520013357203333237

98950743939053129182122552598337909094636302021853538488548250628977156169638

60712382771725621313460549401770413581731931763370136332252819127547191443450

92071184883836681817426334294961187009150304916533946476371776643912079834749

46273978221715020906701903024697621512785219561420708064616313732365178539762

92092025500288962012970141379640038055734949269073535145961208674796547733692

95877362863566014376796403843079686413856344780132826128458918489852804804884

41808216394239740143629034816654581144543664600324906187630395023564020445307

48210241366895196644221339200757479128683805175150634662569391937740283512075

66626082989049187728783385217852279204577184696585527879044756219266399200840

93020756739253637356283908298175779021532021064096173732835984940666521411981

83810884515459772895164572131897797907491941013148368544639616904607030107596

81893374121757598816512700076126278916951040631585763753478742007022205107089

12576123616580268068158584998526314658780866168007332646768302063916972030648

94405628195406190685242003053463156621891327309069687353181641094514288036605

99522024824888671155442910472192913424834643870536850864874909917881267056566

53871910497218200423714927401644609434598453925367061322106165330856620211889

68234005752675486101476993688738209584552211571923479686888160853631615862880

15039594941852948922707441082820716930338781808493620401825522227101098565344

48172074707560192459155994310729495781978785905789400525401228675171425111843

56437184053563024181225473266093302710397968091064939272722683035410467632591

35527968383770501985523462122285841055711992173171796980433931770775075562705

60478317798444476375602546370333692471142208155199736913719751632413027487121

99863404548248524570118553342675264715978310731245663429805221455494156252724

02891533335434934121786203700726031527987077187249123449447714790952073476138

54254853115527733010303424768358654960937223240071545181297326920810584240905

57725645803681462234493189708138897143299831347617799679712453782310703739151

47387869211918756670031932128189680332269659445928621060743882741691946516226

76325406650708810710303941788605648937698167341590259251946118236429456526693

72203155504700213598846292758012527715422016629954863130324912311029627923723

89976641680349714122652793190763632613681414551637665655983978848938173308266

87799019628869322965973799519316211872154552873941702436698855938887933167445

33363119541518404088283815193421234122820030950313341050704760159987985472529

19066522247931971544033179483683737322082188577334162385644138070054191353024

59439135025545318864547962522602517629283743304651023610575835145507394433396

10216229675461415781127197001738611494279501411253280621254775810512972088465

26315809480663368767014731073354071771087661593585681409821296773075919738297

34414452566887708553245708889583209938234321027182241147637327913575686154212

52849657903335093152776925505845644010552192644505312073756287744998163646332

83581614033017581396735942732769044892036188038675495575180689005853292720149

39235005258451467069826285482578832673987352204572282392902071448222198855871

02896991935873074277815159757620764023951243860202032596596250212578349957710

08562638611823381331850901468657706401067627861758377277289589274603940393033

72718738505369129571267150668966884938808851429436099620129667590792250822753

13812849851526902931700263136328942095797577959327635531162066753488651317323

87243874806351331451264488996758982881292548007642518658649024111112730135719

71813816025831785069322440079986566353715440884548663931817083957357807990597

30839094881804060935959190907473960904410150516321749681412100765719177483767

35575100073361692238653742907945780320004233745280756615304292901449578062963

41383835517835997647088513490048569736979652386958459945955920907090589568914

51141412684505462117945026611750166928260250950770778211950432617383223562437

60177679936279609936897519139496503335850715541843645685261667424368892037103

74953284259271316105378349807407391586338179676584252580367372064693512486522

38481341663808061505704829059890696451936440018597120425723007316410009916987

52426037736217776343062161674488493081092990100951797454156425120482208671458

68492551324442667771278637282113315362243010918243912433802140462422233491535

59516890816288487989988273630445372432174280215755777967021666317047969728172

48339284101564227450727177926939992974030807277039501358154514249404902653610

58254093731146531049433824843797186069372144446008267980024712294894057618538

92203425608302697052876621377373594394224114707074072902725461307358541745691

41944648762435768239706570318416846754073346634629367398362000404140071405427

76324801327422026853936988697876070095900486846506267713630709798210065572851

01306601010780633743344773073478653881742681230743766066643312775356466578603

71519292276844045827328324380821284121877613204246046490080105473142674926082

69221556374054862417170310279199969426456209556198164545476620450224114494047

49349832206807191352767986747813458203859570413466177937228534940031631599544

09368408957253343870298671782977037333280680176463950209002394193149911500910

52768211195109990631661503115855828355826071794100525285836113699613034427901

73811787412061288182062023263849861515656451230047792967563618345768105043341

76954306753804111392855379252924134733948105053202570872818630729115891133594

20147618726642915640363719276023062838406504254417423354645499870553187268879

26424102147363698625463747159744354943443899730051742525110877357886390946812

09667342815258591992485764048805507132981429935991146323991911395992675257635

90074465728101918058418073422277347213977232182317717169164001088261125490933

61186780575722391018186168549108500885272274374212086524852372456248697662245

38481929867112945294551549703058591930719849710541418163696897613112674402700

96486675459345670599369954645005589216280479763656861333165639073957032720343

89175415267500915011198856872708848195531676931681272892143031376818016445477

36751835349785792427646335416243360112596025210950161226411034608346564823559

79342740568688492244587454937767521203247038030354911575448312952758919398936

80876327685438769557694881422844311998595700727521393176837831770339130423060

95899913731468456901042209516196707050642025673387344611565527617599272715187

76600102389447605397895169457088027287362251210762240918100667008834747376051

56285533943565843756271241244457651663064085939507947550920463932245202535463

63444479175566172596218719927918657549085785295001284022903506151493731010700

94461510116137124237614267225417320559592027821293257259471464172249773213163

81845326555279604270541871496236585252458648933254145062642337885651464670604

29856478196846159366328895429978072254226479040061601975197500746054515006029

18066382714970161109879513366337713784344161940531214452918551801365755586676

15019373029691932076120009255065081583275508499340768797252369987023567931026

80413674571895664143185267905471716996299036301554564509004480278905570196832

83136307189976991531666792089587685722906009154729196363816735966739599757103

26015571920237348580521128117458610065152598883843114511894880552129145775699

14657753004138471712457796504817585639507289533753975582208777750607233944558

7895905719156736

            Woah!? Where the heck did that come from!!! It seems so out of left field. The resulting decimal expansion of 2↑↑5 has exactly 19,729 digits! It's approximately equal to 2E19,728. This might seem like an unexpected jump from the previous results ... unless you observe the pattern. Notice that each time we increase the polyponent by 1, we are plugging in the previous result into the exponent of the next. That is:

2↑↑p = 22↑↑(p-1)

            Since 2↑↑4 = 65,536, it follows that 2↑↑5 = 265,536. Now try to imagine the size of 2↑↑6:

2↑↑6 = 2↑2↑2↑2↑2↑2 = 2↑2↑2↑2↑4 =

2↑2↑2↑16 = 2↑2↑65,536 = 220035299 ... ... ... ... 19156736 (w/19,729 digits) 

≈ 106*1019,727

            With an expression as small as 2↑↑6, we have already surpassed Archimedes number, and the largest number in Buddhist literature! Note that 2↑↑6 is so large that I can't even compute its complete decimal expansion, as it literally has more digits than can be stored in the entire observable universe! In fact, the number of digits in 2↑↑6 is roughly 1019,727. Even if every computer on earth contained a 1000 terabytes and there were 10 billion computers (one for every person on earth and then some) this would still only amount to 1025 bytes, and this would not be enough to even begin to write out the decimal expansion of 2↑↑6.

            However, we can determine that the ones place digit must be a "6" because 2↑↑6 must be a power of 16, and every power of 16 ends in "6". This is simple to prove:

2↑↑6 = 2265,536 = (24)(265,536/4)= 16265,534

            We can also obtain the tenths place digit fairly easily. Since 3616 ends in 36, it means that the 16th power of any number ending in 36 must end in 36. 65,536 ends in 36 and is equal to 216. It follows that 216N ends in 36 for any positive integer, N. To prove 2↑↑6 ends in 36 observe:

2↑↑6 = 2265,536 = 2(24)16,384 = 21616,384

            We can also obtain the first few leading digits. To do so we first multiply the decimal expansion of 2↑↑5 by log2, accurate to at least 20,000 decimal places, to extract the first dozen or so digits after the decimal point. The can be done with a number of online big number calculators[8]. I obtain 0.32634379468 for the decimal part of the result. Raising 10 to this power gives me 2.12. Therefore the first 3 leading digits of 2↑↑6 are "212". Thus I can say:

2↑↑6 = 220035299 ... ... ... ... 19156736 (w/19,729 digits)  =

212 ... ... ... ... ... ... ... ... ... ... 36 (w/ approx. 6.03*1019,727 digits)

           Buried within this massive 1019,727 digit number are digits no super computer will ever be able to compute! The best we can do is fray off the edges of the unknown. This is both an exhilarating and frustrating aspect of large numbers. Although we can never know its full decimal expansion, mainly because its just too large, we can get a feel for how large this number is. Here's another way of looking at 2↑↑6. Take the number 2, and square it. You get 4. Call this Stage 1. Square this result and you get 16. Call this Stage 2. Square this result and you get 256. Call this Stage 3. Continue in this manner and you create the following sequence:

4

16

256

65536

4294967296

18446744073709551616

340282366920938463463374607431768211456

 ...

            The number of digits roughly doubles each time we square a member of the sequence. This sequence grows fairly rapidly. It's faster than any exponential function (in fact it exhibits the same growth rate as a function of the form f(x) = ab^x ). To reach the number 2↑↑5, which is already insanely large, only takes a mere 16 stages. In order to reach 2↑↑6 however, one must square the number 2 a total of 65,536 times! The result is a number that makes the googolplex look tiny. There just is no wrapping your brain around a number like this. It's already well outside the scope of known reality. And yet we've only just begun, for now we can say that:

2↑↑7 ≈ 10101019,727

2↑↑8 ≈ 1010101019,727

2↑↑9 ≈ 101010101019,727

2↑↑10 ≈ 10101010101019,727

etc.

            2↑↑7 is equivalent to taking 2 and squaring it 265,536 times, 2↑↑8 is equivalent to taking 2 and squaring it 22^65,536 times, or 2↑↑6 times! 2↑↑9 is equivalent to taking 2 and squaring it 2↑↑7 times, 2↑↑10 is equivalent to taking 2 and squaring it 2↑↑8 times, etc.

    The growth of the sequence, 2↑↑1, 2↑↑2, 2↑↑3, 2↑↑4, etc. goes way beyond exponential growth. In fact its faster than the growth of iterated squaring. We can call it "tetrational growth". It's the same kind of growth exhibited by repeated applications of the "plex function" and its also roughly equivalent to the growth rate of the "megafuga".

               Let's try a larger base now. Let's begin with 3↑↑2:

3↑↑2 = 33 = 27

            Again this is nothing spectacular, but its only the starting value. Next try 3↑↑3:

3↑↑3 = 333 = 327 = 7,625,597,484,987

            This is a number we will encounter again and again as we climb up the operator hierarchy. 7 trillion is already pretty big, being a small astronomical class number, but wait 'til we get to 3↑↑4:

3↑↑4 = 3333 = 3327 = 37,625,597,484,987

            The result of 37,625,597,484,987 is a number with about 3.6 trillion digits! This is much much larger than 2↑↑5. So large in fact that I can't even compute it with a big number calculator. The resulting number would take up about a Terabyte! I wouldn't even be able to upload such a number to this site because it would take up too much memory! That's huge already, and yet we've just begun. Next we have 3↑↑5:

3↑↑5 = 33333 = 33327 = 337,625,597,484,987

            This number is approximately 1010^(3.6*10^12). Now imagine how big 3↑↑6, 3↑↑7, 3↑↑8, 3↑↑9, 3↑↑10 etc. are!

            You'll notice the values were greater than when we used a base of 2. What if we use 4 instead?

            Next we can look at:

4↑↑2 = 44 = 256

            Not bad for a starting value. Next comes:

4↑↑3 = 444 = 4256 =

13,407,807,929,942,597,099,574,024,998,205,846,127,479,365,820,592,393,377,723,561,443,721,764,

030,073,546,976,801,874,298,166,903,427,690,031,858,186,486,050,853,753,882,811,946,569,946,

433,649,006,084,096

            That's approximately 1.34E154 or 13 quinquagintillion. 4↑↑3 is already bigger than a googol. Compare it to 3↑↑3 (7,625,597,484,987) and 2↑↑3 (16).

            Next up would be:

            4↑↑4 = 4444 = 44256 =

413,407,807,929, ... ... ... ... ,006,084,096 (w/155 digits)

            This is a number already larger than a googolplex. 4↑↑4 is a number Jonathan Bower's used to refer to as tritet. However he has assigned that name to a much larger number now. We will therefore refer to 4↑↑4 as tritet Jr. to distinguish it from the larger version. A proof that Tritet Jr. is larger than a googolplex is fairly straight forward:

Tritet Jr. = 4^^4 = 4^4^4^4 = 4^4^256 = 4^16^(256/2) = 4^16^128 =

16^((16^128)/2) > 16^((16^128)/16) = 16^16^127 > 10^10^100 = Googolplex

Therefore: Googolplex < Tritet Jr.

            4↑↑5 = 4↑4↑4↑256, is a number larger than Skewes' Number! And of coarse we can continue with 4↑↑6, 4↑↑7, 4↑↑8, 4↑↑9, 4↑↑10 etc.

            Now let's try base 5:

5↑↑2 = 55 = 3125

          A sizable starting value. Next would be:

5↑↑3 = 555 = 53125 =

19110125979454775203564045597039645991980810489900943371395127892465205302426158030120

59386519739850265586440155794462235359212788673806972288410146915986602087961896757195

70183928166033804761122597553362610100148265112341314776825241149309444717696528275628

51967375143953575424790932192066418830117871691225524210700507090646743828708514499502

56586194461543183511379849133691779928127433840431549236855526783596374102105331546031

35372532574863690915977869032826645918298381523028693657287369142264813129174376213632

57303216452829794868625762453622180176732249405676428193600787207138370723553054463561

53946401185348493792719514594505508232749221605848912910945189959948686199543147666938

01303717616359259447974616422005088507946980448713320513316073913423054019887257003832

98012460501970134673971759090273894939238173157869968458997947810680428224360937839463

35265422815704302832442385515082316490967285712171708123232790481817268327510112746782

31741098588868370852200071173349225391332230075614718042900752767779335230620061828601

24552542430610068948054465847048206509826643193609603887362585107470743406362869765767

02699258649953557976318173902550891331223294743930343956161328334072831663498258145226

86200430779908468810380418736832480090387359621291963360258312078167367374253332287929

69072054905956214068888259912445818423795978634764843156737609236250903715117989414242

62270220066286486867868710182980872802560693101949280830825044198424796792058908817112

32719230145558291674679519743054802640464685400273399386079859446596150175258696581144

75685100415686877309037124825353438392853975987494584970500382250124892840018265900562

51286187629938044407340142347062055785305325034918189589707199305662188512963187501743

53596028220103821161604854512103931331225633226076643623668829685020883949614283048473

91139916696226499485636852347128732947966808845094058939511046509441379095022765456531

33018670633521323028460519434381399810561400652595300731790772711065783494174642684720

95613464732774858423827489966875505250439421823219135722305406671537337424854364566378

20457016545932181540535483936142506644985854033074664685418901481343477146503150379541

75778622811776585876941680908203125

            This number contains exactly 2185 digits! Compare 5↑↑3 to 4↑↑3, which only had 155 digits. 3↑↑3 only had 13 digits, and 2↑↑3 was only had 2. As you can see the values have grown rapidly.

            Next we can have:

5↑↑4 = 5555 = 553125 =

5191101259 ... ... ... ... 908203125 (w/2185 digits)

           Next we would have 5↑↑5, 5↑↑6, 5↑↑7, 5↑↑8, 5↑↑9, 5↑↑10, etc.

            Let's try base 6:

6↑↑2 = 66 = 46,656

6↑↑3 = 666 = 646,656 =

265911977215322677968248940438791859490534220026992430066043278949707355987388290912134229290617558

303244068282650672342560163577559027938964261261109302039893034777446061389442537960087466214788422

902213385381919290542791575075927495293510931902036227198983057853932880763319683450709063994613113

899946027767197828941253221232925203296051182048791364008389549044365792095626712629192228922460944

103484957826646121969087967503992005139138817452525944319386504163034800032329572923169272580812038

862895645133020319941418621365459381247897039074948526861497196424842856278264872081854849393729902

569313271916554406043106913602901064055895953421212374607966076698330673506053248292555308212118869

609719907808556324604601321610265543147645240039660236473266424625276737459325658213465426520922004

237014324045664647970387863402847679951630130232058962063799462389599996237653062587414899860913010

693318793720947688749687131107213871394369489435728806106155770846190228969206308973600818603623114

117110987742542396241094684938897236922298685698434294496424701408029483172932386618629065996040198

226842823646538422586113704883857989007702229553937496834838684871215875596667442178077474619334121

028488932766083813638995310139077457475830177551325338144732131509087834262021410745896573377350678

674850098385414388602041091113739704476471248961781346576074509649789560993834854196961759483379704

895730837108476073243820752302407048567636674324794945261956856304309751928127990186556725142283682

860915312621646073453158008803215388643682616411219867012372209679528053501516815952615060246385651

031976562807101388014614012727625982704958770707410574826165853317280489979664766579951201612185779

455431473280794446393767971020284196670959037332691306485094879711657607592738752654869501755331152

983075423102199223873789151170394698211199449920074131308554214681213100553681303428933484193987068

952218348302678831827921107401559352065829092083220235853420468576169753257004117360848240587083162

510683198727366804395473509269321561136071328831038756345050322110155370605205773322174682858545420

089112607776943756235718685791083329489150388849193534368560214077259275017330081801022785506555813

374097953179402013552081883260678201008163982491139468985286586839525924516399022060889167034026307

259495537031036865710606177193275628159515876151135875206383384565803345010001967990900297897721047

625041503686189053938223646710134213940404719809893782173642263134508441550849287889447186844367723

211381684596533430978485492183483286280866059762937533235790152346913482052907574065476985428074987

463200630523320192960729488033220100471728132419843750933418994651827766195280398535457879210590938

725541731207476215251178380018544287270261438480751698862350923128502235087740792752699447916376634

508067462510897466136541982989588498885556218913512465902304156653376336871566688387251967036152900

780064068602888069931935207999310689140776424351948418730004965515832221710968997431459333784941295

229440309655511855867028445035198762119848288829295380202219936661078120427828843001276230841951275

304807279299943098104127984653113848966391547080166051152516695839546951857411342509029205658037023

718240037774832603354543093511500118479701534297400745136744846115854618011592988204941297108616076

522379205004659217817374565514468243397003282844487472709177905919919935899275425573964493827579365

446000027476477191798414513254581650275367333019821278843172709465750692752171808594901217509501207

417421617586944497161282705033574579740947969818330006129341292987484417693746915156267819694419069

070551740834127011011653057480954762302376223721506011117278656836781687467642565660245054195922383

015063540983302976564585032232212348328492684438517686135813543777864727386998363224693825363151801

851106716453198841449354389812191334113521409843330236524538792076198600969222577026478681492227501

540566298351707639566416336862868467950597297476836923209472900922293702286186940890332878669151652

070026861441427046793265655884082960714097320267268049408177667445088496534818017853672361822688485

733913385400255456567934282631484871977114047875708058685436192476663298724761448156342842830402602

505021574204296564158930366078365481437442997463536675091000411699963360673064732160583745460680016

965456758566096290515270920164587535961300182886653830784412200942190677050444291047244003389456102

541814425739429044704330880008696148653836354976484820864386333590772821957611006776947872616515008

395331769033371947624815253698065061836502368055443145909315203440556148456886065074331669131896824

759958256508800018017148943114323386161400405917446760035859282703814428874771624962132036197765252

454933467861555487197397619695431510692383342974202667545414955466938030160673169706724462625855137

085164539132257730434810596984801783923003483105541564030100015743183630882716196703166554265650963

071038792205396803159204779044332369316517777859190655421620788215534975404890121605354486244302325

493234970592691383707828560134937722533674320536537516987734918377779951255422227597271611802930324

522204021758057752412497127455218252920942278428479471698539697813452696767907179228508491839775153

628228243052306992659549440199892772061036616473355839050070498310473487182064267545001577079206261

540203265717301064221019125068350266791249399179609291090367076356849258440718452955522072597481584

063311817403113771618731801958998128677729597378367094064062033675539166479397859978760723803175210

934594321121324518477664328229171706732939059061137733423725445425333376420568500011937009911220804

854369888817399953540372960084640042151028030142531122831961619571524522422266809290751616197961883

530242609434051902857830543763397061153243582494210503092681521241839983612388292362168558481080453

724926008984522786772923739257464771832909220710235406334318389309363173179239077529730921381408865

699869199075222777463146266117543342519940204770331943339078678783474761260772613750616583256430398

445294250039146099139399860652378000419745042078241181875123263807183683939638150929032237564582040

219925725544066194365465456072775046043019953993748322983683489516208150738424224196778813811196748

091317343045579356718550325307737095111433942009322636455898150323810716497918542945385958749141645

826113403821601639049146905546228789873935871271101782517043060004493333790352302613291297240328564

529779500158901992057657168980489272863072158461749965174823389901373567049766197477456695811834009

402652112653589115553592994292565814973047995369272297261017111119344511199618772851626644393751712

810887048244077398755032272241691310649437516764253759232572706022781934855221122174485770810461351

760722786628516143158455550642611470543692693710220729528959120340445210529788692903692277110929238

083192013051552699177390638979085275991136415947758803248065658708433324533317375936823619422963019

751271123958949266745154287327508514137369673627508864714146824134776235394625172665199539967765285

667592328910514509788672574445865951869081323812569736008479758269334749025290058433197876943284080

580745193611989429990468280533178199550083230163227944716082271056280731820677005355961868362024509

891022139820125623841787690585309928612267303595625824508436018544241421864042750273384716167606981

280931250329649599434752052971462973363672222035938392416581549006207453756828721700346944745735294

757240987973604996890528648783086812325888847405838796103442374669651862064044434887259551215107382

960629850522578340713349255321774853789028601004245977335322044392190426364996651123770623213960923

374849645936962093842457558760552195368235329700552845151069077200413182755865827314444969724970410

721026079430403668206368143382579398573856744555443907200016627368907470972273592217094439747656651

587759921449935310041011278838427588582684058312705649787648119492683806365037319800437060302992518

823221372565574622697024120942134211743868144784037217825939334570966080175296107167014761063573878

764298769872073630597860069568435695489708455471417296025446297551851567364487849328103367222701989

883802494786171436302954969918207348486513230712677788751869942315794571999554857157496720173838789

205258104548081079810451185601751030835725087918474499339432087503990193076470750547948775977855358

485409413012204167161008344913898947567902878642168826811118376878528543846712653149082404118060490

652755864988462101460370601811780023726130518568384806414483578827026111605055591597332741401022568

196421828157231909693624098089055609103548620026370881684170231338454875054885411126510070161725747

437966591249357866528886086706489298876392642744160118970606956928665435440332410837187184771741684

096117675991110268740224339044107121286235825797872641933884252895920171694272374852330986381424704

405554720432213808590250910052515845368806455661289841979888898496284938747083462857147394174768624

657638140589204233692069874340266435896620604197215859497775734519355596485093355986281552555553876

637144264112107050854226245879960823641485704807633869148606767226023183261796956540334262005758333

261045868501266693308281023681427721918822056924812008821204534830044654602066446687314813657144604

524271412597676737460939657352003890495077862128279292449414208247189079648329501330142509407727347

591066686369332364802156261024141032358374502783755634343861798500282951879660646660629481466668133

405040220522200280171108546969716343594555462039079692851957417002424888105893065048277613075277549

575313245632715147314669715412024040329823708192959224423808246692757409437349315576119847840425210

718798954425192388505562440936682434151237375513226295724498075849529979937732877694105147208871848

111189812916480877473371785496167602764408871411247754224503353946883319174406712144432837791420728

008577200624913032381852272196096837422198435262420299836299729271608009378269710389890410171747674

715111904373088567457435014594879091368705600688007101215820026528663115527646246147728140985412548

401456814934852708715538761594295805551267452651180429333684268516031849931062195799522678787157577

600563347342341331836322988591894412992525937987173318134193990210689518078163555907235238853815379

773691546246995995608375329977513075931839086826932047597565683018282299362258470622934630351415117

782501732398783298437154204578260937966327569667172864420534855709163219251858795348798337006617691

315353399699461860343190483637203756593186066419144028800227652609457125666376633516790109663620347

636975698740142905735080137176798745760015315507027808438442428818313304866101754151500082701256096

763943176106018568210388507516985167245380074711202913270160244940132970964370790189988317746584257

548400289775525880140679745537412020982395367711258261144075551696849205873413439885660637900372629

399072607756167012840505370788404636652118089611175070254411191967276530749834800340315078515624047

044443843800548133076292757931322031245477272208271569139366156660369445314106758948526343231972951

616250248160130237019508749245330726407137979944932556407418997416340099124064330450253506970063255

261524844335867914461321021406288026937068429350126536671931757868016862812597156713876878172616168

625524292260940347541700734738562142047647305723053881410229273825705072603260789109530288429356116

848550927749075462006726604534197266327419654040613692101581093498295056301997299527017704165195710

476563419145822684533889701667936555956484762791914445656139676481352345551216386449858109988937265

671471973844681311429975749166840093462727879587818457712428704255344559061591532375113973314282008

450900403092885758378292759533393050237320140953727613312702323636738951262974123205418288741397543

451587603552646624247785552013314031192733246010912730484816415238192195349735466749770728067928503

549656651656073233219678107283595565211925536596476285568332871576455097190154739727932800047918608

913057369146767557746792528779299399728183694415823499687330127087758737047474994989156500107530548

160976123883318437794772844111307075048213457629500443809360274691131620176241365042370710483640300

663273050001492189318116979891143885697328268812532306505266364178977237563209358836554989475411347

896892051678879301807258515307322923197206927569654412473870860647597082046284096970211213086853213

077079583376130225517380758198285144994545668777118410072441336848088288912710026485935090558379495

040979631540762442690074319825071132295476718724755365322307056654838102078522716992464692185740996

789940963759426635815082609874311642814465663278310925100433649714232243396943774667447600732323274

092995514794127098681498564314483494785776699171605823087465819773805874903515931812982154302270951

498194208323195734298452691177766317870774297896878337595050008916366692834531015019438079697216037

584094989943337553566464573425551343857891020619203587260757327436584898400993791510054147654356650

858983129505994893865621299442621781153092790652176034693439864930622511013686730943869682925636443

692558679546898863603665855630583172805499503349850642014514121193862834030570451253380424533982166

942882325081614482406954734609046200523990247481209299536211933236590300256653077831592975673453496

541090621701855413666597584167024844986010971736908181470245722975460872681422559593960315974723533

197673148835514287190868362599834270400499224298567901025841345491864396262256475645201871059473180

234586620834044589586160820199442461923914785856105411868402806753113119614849401467281772004893587

038668657846417413716863007212681900774342602539212792220982908691560673641270058922493307705207693

953852412366850882359948312420885917410290539202108431364158028831478952581466061057898564248286789

006302089681470922690768111466742981273588223554788036400897829393832820314005422341091232015012900

850944803712813177904595244116656449724186006465154847998942775267146316247645761883742804889848246

791047994217728623038776307185127119085603589168365310026686699717767682202672035099875544905437455

762474952669266826185925494760109140188350857814663423722054270499500299780865313880819240215932197

686815613601058506815284724120507808761695627491647723994169983628082403721237061521250736485898629

687166636110705477603528516177144778256890343648794041841228026365658117440073990089619025538739489

191448585986816990161467401163679675742143222965321708414428129093810694714794064755941973350198612

586814344308856251415549285762605619198901973252095999562808987773675654102973681561875892313268432

764268630178621453552636520965667196316764034017722091666434789744950852473244657028634169270005001

819431542040030172084599795191051798000372557785415768631806304331979721857525124326614036667339830

688282444658238941288478669002310876132729503261262054301680693611889765562642391666129911836236611

052659658675015666836246339735878483580736126251721492564510017824333924256759757104426644702004525

230397427721324746167652910676129219635786478600427070678272625615428041849395626325111576358427602

533598962529090699274873940416160695412097599267113126195867660840416457036419601438801767026373993

563567374041380716659079947109713880435283320310340418840400006748983425147322869892866456106784243

368166276491001043027738157129824773590467857765440706061341139892694918287329393435501095272854345

385425759862664207901348095621343861624169032267733079271215106361980031739837397443252721253861444

927543937398843985100588467186098922679135834654204236540579567720424333553573026139793867213711726

734594997346716921068511887113468577183206220984939442957319753319701649775406168208888735292783748

091505628859253662062402814748990091517499775398994412131990711116701806279801762213809809742790235

685284108795453665970190523832117054042610767320725588540527996267650384289783805201679611190735044

814267455083346488538176439282296344699381075190427267955101076921278189266206795852459943997547981

950831527958646685773915067665412058659535964094172358493522912265025350044444517073944582065840479

233816563753250588358010388823033147262606260903572966866661513824618140389522937363208322485410406

357066138237538169911849381134193030378943781947634127904084745365618684528148004877911534280611852

531652130002074329762748614955388918330020720697669159867040909571161103275938008718814332363439287

947278005283066831078950153622593636076264069522747373357670031079500890891180431992065781991891921

742367825343055866099321871970209934401863036961327661239319991637468025733947258443019537105699601

636862210867982110963614287526566134345592092209734615961572329973184429215030829361179224300085964

204734328464692710684304672186911785670568896173325697007134133808580335315007145509287686224644510

112656026142171246348439697874978450468431519035002262396924289167744597623621006121042262278601469

416979637060489934748965688080386494347933043119779331388649543253873533920471939791980828036522414

144542989399184229888734954941080387791374729264602243046275162453298013463979814323763208568814908

551670330583136102351395754428351841674160433800986699064733712674710338921125140638398786016364200

272312026231970962873045513931700196813555606961732228887872506911609937164230689479726518689273237

627495626505371179030038296496157201468169424133928191808115243786209845843036387479229838995429956

820298177524928653119079262956383497038961417196832641047310616397286588471055182298284174546890188

264991312551407389236987459407711433787616010960449520735466638516190877517628715763573713499273526

194467203324805988213337736974381162024332452909250396288994124148315509243791182380425590106447395

053094679039474272936701768064847072107163292619276334960808681518904078807377598977202909225473012

661178239349904871648397166160349391422007998555807238335163595744012726486003972757115734101966460

743821532022859918387077331253175572094767473034990147061835884693194220103610195359462069701879060

370058816128132397917633322661832076420105665300421196345882636122310107049448090349486531407780885

952826080138331536295852904972315103219470562658391019463008301093325544676476745220513240843273988

894397363754748826640317547540708429269194630233756057054027655982526115175006345274369721659327892

990894276623610814215972772580534039036115566745947585879869710178470141069683014158293470466674015

404641151895596292241104271989383730209567357939768599634076515647021503455694360168312464713764497

386906314124282347673152838368276565889307665549538023182548189885740728443857260979036520440451722

088724577389277741443766464029498915747411102613663322984251421937287887095410172694013765016605302

418431168106150791075738627806964887786906139961007250586656591133559643715442286592858586236142538

017781731820527486015709802133501974028722035090693451450306497245245215528304909056469902922121779

701079055424156392458682629256744994346072147630703817055226383332507726259384615824707840577783629

783466008871371167317746879749418084368553113139786077545998529102211148634248576771908391839750864

525017059934870026110151139293831284247885292358444680220558420653075015786922413126862003392343108

515624920339701061554340826024789206010806116365712658771877097703881170908531182205477324806097504

257022224177029472211284503267700113702305252751341039289809014030966135250358397752970870522090287

477767349465854312033304994361963835823181413600126244550799595224717138817269690354088331878145260

812534962536394578542427927349325605221444612219970160602813480868607014195544269170142079701984468

319409573188521205369735140508849965452010589074620574734722211621181056839968271681386086158143341

056227474435761755114553134720912996350742991987455275716806187335192882806387477755095565118299464

970462913403262924040062737335315869032230805280720986765101692725258804052810013344193659820284083

349726000668974775769977416428569330903730831808424720315529943948118591415585703667948439960382465

339321107685686342063187160959886399917413955596599866887830868180570306328331158195513701521495944

030282495670450166585528664632018435343089871895767687435158019062939508962976787026744453442447348

178603455305571256558224353437999976346113240615045577906938914648762713106879932434523718967649656

006933427411784596621660858217413405789595804803951105739961515750763022664559388807757433977383507

362278120932963306010369271922899485352297012779458770876329621720815200962887581209479769466748019

564370865483485048606490745173049067330388573472552036559269484892805536744136041286999099573093891

799335305566445799572190205268207850077513887970443364276364878847242295710383378583695690058361306

317352505574780146387079894593195689746353431572593163491913406577524442326656960190772216978449626

440188897907450525773517566686053118883345509958845235103412740510255697130927637557179261574308099

488342096889819805159974999184591751320856671292211104691417981830712254968392083688622671687360862

070940314289779784493036141339337953514387743820278023538501439496490869951649542866302662163034540

369528194003975413133161311528514289231644058420005456780712551691381115806887633142813708913962304

644614538369223760488989972474973103825145911767197174998045774138152640628162876546283132457442355

920692365451628058497510188887892526264003814971731602105055234818719107838886356959682060649964827

951019132766391995843881370243949502688394360121574662387362829285756072646693984051210611564015138

843502208887665563925574988404547634323051414714550860444803999362346842504852373348657580868280707

134306894808698582449847968789094783822363454178076755828656450140031164739541422476900917580263194

621455479525273900249469658344098031776686722596828921998300349077350029640688826299750423878798978

699564278985686563794477690270252730681015512058434101506347167002791080508452943138765337884548339

641218995418432300733512057744986193371001036792587086631343896442313427496361530956083717242339987

774763434542732327941411809033639235512162268163975192903425063572703044483466885753452289537074669

342943483597534944642923906486759987728914245046599668601990167960567967264486474200783090405672844

871878943357041652889801956592460419371291957070980482003888240195591742170422714036242962873126519

723755554309125264913966520882045061820440268836684965614063084372311823337969459831473373581241603

551810711317668737190676840138466160533141282205242982052110279265585206135042053711149729232949444

723481363085144504398104764554621621739793470969279842693820801004440178109566448519055631758790006

579897275067504711398253058045705615224997091452792132741456599864714516725356212353146245236150920

395600581197052850851140146897869419045725738539179267342100080380438274687584500073715470125113751

158371646421559672903690837722114128516533870903323828206998964494268438297762425175694125238497778

342928918184808119616601180421380762321784155942033530734811733183766471223838335941864040803977946

917986111719449498134609282379018700898077393380394787240248157835760680422405170400175212982874151

204848263714962414356213569439528766098980209839277444432989805915729320652333792795467772682741662

187031097620823286577618713957008795099273401004918147686880915935752902935726571979899593497812819

165033655326155937223654243918866996475437642968250228882881095390600833566137419536092403977749420

844482288588608666320354466954709639746456396686354719437247139547612185447447844429258032649905580

354783765002771378922269193319466736886245329527583373947527028207306481338810365981263064387121552

573917049889544373108425827996879880319251902239799222485758222352266686829495660123251249819555280

214954446159147488966364004672827794283179805076555739573747443491012549330630801413043430631559352

096216330478081125280584868031018540880829189003032427432634502379340334998388768429542217546449932

324947454943174021367876108453633517130620350922827476559540171044171720757264143314937479682337365

620787118313120457531720598483812884240140968138449392671512765668123154786031582283855321363289227

043172599722510680679491210311059930919051447262797704359165321083202571994672134239951525034253827

512974402061000655607824661263738394805085661984307601887017471332189856418318717556294420087301367

902918518986219289565274115136325019719718255371571071730106352484556250145755254593180069407636939

013945170287884160099956865652794633202082759889880053878554128674693393574517549409291525900667717

305195348608458162008345938765562654658435482241043229885013239260260934497153691572263850852945473

511254106857488983998210810103689575625658957108073143908931533638183553142900822450143541318887707

274769742324109614894795230253766024113617096667517601444832948779718056737432810005111634934571785

051288650660775799158420126184936071583996379433507682223770755509729897304292563940930701081192610

005359416409963258452334662953897805552304269619036646374462034866682834054071716186060657873239709

629829260769184560702331154988025345824462370077914728946848125793854106183847021039283603683341182

085994463028320671669931582867405674325283927074053293078667358300427151029814076856662722086044390

555574402052799849351596380851480804974564092850288441836701117381262578711648380250347531066354105

661040650669045325383933104797095994409994143419324419851651221915951821076229828827871532847247739

797544425101756010239926904530509399329591693307458996088044859606499247220133680246521250139941891

795301700412853870705655106830683963183080445289235950620108687174452251984758749095621431915311490

758604683887872877862192572933211224093729144879090554330496784780291289412030896777225504991599630

096270492360124201011465522615855714101408365265075789286397758277778326412013047738303748921460961

822272763074013386950299347449978183468131962125441101344773216621533961127807630714207540092940650

314088481608281794179161099654243837322194809624057123020096750707286193637438121176874973426631490

000311706745919757027290302807127924246865803715768336845894042825086875757291018492832334096739056

800895816340490818057121269669350286401156814978372960023092861407244781182704128899176355487832266

117903864521594748102586124066260958308830911962711019622322227989641327068488581164607275870981739

596179910187428644297276676725936524233646145187804906589570092519820167644099856777265978171722666

035016698052384441532160026944709203621795654645711408036798593921214002357254741126764616226165231

366379857237254388916034749901865888268313194140230572640844398450473344459162514165789308458497122

798191680668364883436901899801790897109375190999826287342954826172107099867023687243044488741182994

022449197043841254520697320154782265195195600059980532516617449689939149674410059652188296880439643

923717875555609461876292722949906688754376617430473173604167070113032334775498690950941837377891959

517612584470467630599072016484428433702054260481000072574957641100180832010382006080999884936897615

254619217428531422948128764481099975168161859113291991236546485166360054028938088045666105959376093

238089250875724345314946126338613160863139735204962511137413082802658453545773104565697967756835563

330891130963795058671484926152600333911588494035825279706025045181472418551652110888328278068257412

751370410459401706307156008695550183797095457937263463336179007644534708686979098699867342597294018

091915081471279230521861941452204533399720666276267188728765411484206785652960571204994041653540903

245195470345175135302303354362890393919792999586423994524796177950597328509816636469491756339816252

165582740371856250008997343465405436871511433960572629273457690574568529069763064489644388067873182

213790917310524896778947355097664202133140017746489105304814751184002326477592292882711864700513297

342818189590050222380841821262414295703051852364741779338277816768964001342477353439497885689844286

183833123526858476630387966054662726438674482459828986988743551814214259944129103951901837167822387

684498153971259572244622583022603057334331793332217701824150371021487866490787799543644930408566024

722240534433202334153508675416814754990235633028480720123461126884915660356301999846769997938897160

098488183542446933682251921476137249978853166155527525762928346775039785203586370589677615353714555

056807831359889509804635947203591439319253721793644938863053407413602485816395329675422350368997523

484060140835685714677305132330413918613258468226678534787395866089555560721512026067089391522824887

064553103293686252787722045329571012880733425789152714993515065475896868590011491613047870475801969

172295742595546647503708062599674649365594948000381042582813859675657662262207110369363557450947375

778685081334440678228499217056769817931865090141596139051120845564020942757184209216884668907821816

927329681157223737482143990362162774714718059028826233739897859179184847870380477043476556772662681

335514313701393835302534231766199506413145893538081057921464407953752152152466188785249172065678228

231385797366006844671998544192185655114363113279699279687734818267288268450295294086936892418302522

104097805869622109336407272103269470569254106856491672244877541093240686108552310695994235786360728

492357117344838597229014947463773836991287972573077739289185178750172023200012729291483227918819139

344879219234644698858300272325009787543453632979932010395151245999045988542284962776090932733276695

501414931835677462267762496257651519794312344723017201493134372444147373483448838427053824667786432

896684419965817859659278225629224104711729610171247470013884360372378250866809386773758931290944195

533250294800388366404481334994972660544068487052862971038318125952952221266656230888503549510932822

550104978623992848912737228900638213766482475313816628335230558078256577583872816207577206411958576

703975670367239282145829652075223941028417996954228554662116361416545981396544923092833995348937568

231847952456868264208542780958636296562296512681059045940793420743819684995664426433444364372468077

056993782826477937962698075314476560639781199774999093480058071101367983523940180652102398466559676

129222396620717971348046230669383045058321418315048804101873936917453925354751238683211614278879359

577707932931547841397915011896802271195540369405947803302555097489994149436519585866360029069596827

016540801858315473947735801163592524960057047153151462334744162860603553945295352641899348408023847

463856952412996957520001436409162782582723567789747264046879345384789306923535910951705352734082309

656703668138810555120128109846526329155976395502843888943999359511911944511000044816575267463865328

446911221558949734398589574358232550402076583207889460067430313130318914680213184937175304035286442

521552022442214280256728759731686116539509093115407025057793925860380810159744331521694801208444812

893654295493906970546139756575543937826101990313468451636314664896112128953216197607340763188524269

536241573661788795533122770754992761255886493738158709873207280895308714156655807492059457201549011

952837895391597020502116873808733273837887820359548311327062393900685531144108899709054270698870670

955718682663846272629497617794855616448293214274230393511194061102021530776483100665521107923871595

711497155328703311140326373791204614842758165614806770957610350731365858305920499849843838940310930

825818734480881780451713733471351518474226482493177752132463998210403663643700718188771186092584850

735679067209634328163714795933158555576696028841137723137415404378516010769267208635592058909474420

842642165819877171071936917378641195882269269089613403494360361766808846507028552437675211626145758

495622465044704055848259065652867474779740359399938771814210472442935482766104690159766341274969631

001679409674293979840576869065446443739858510967412494368205664767943232926058921605329598630206382

788803827478822769780948691094780122518829267978522201366662147212451866113907862216290529612280724

669882340792250720229363347941558318868392206538384434094866270586206182180257100201951885939289746

163839296773495154341055793695526607996218692742713752667728109656241655028336108429469426081010185

050395579035523458490647098271037522067060099139459541655067741111000392371430816201202837708223967

561589025598776314795730561946268899364992104197790801325589764679898708965638028546442148876319116

669067360434341298843947159416842070217544705297411281143178949172496978700005365278068339621848521

422115715445850152130603441539828658565312739732965812926440450627857026261031781729341704320810741

203498659702819707870208504622661946654488150088072722798066735017836549515246208711042761409512712

803622431050029574862282207128429507638849308547357626704905897815342319042283214289034621570407592

599497164306292075511593628968502052919343951525565810010648837504835305222743662624667832392322060

810691962454588096312499799138396373520741507795953319083662971026640218051070282553434014895675499

215127934162912745972184858203642844227050593361079113952768949606536996785596460878337067471222759

643974653246991920865792626204849669242113660638209542916439857862004106774478657053881127637206543

795622456625937135637517606842748901784831452297594281561816472907723916063958200216593159317564841

818578810377221322420792956117314303997105587830693313155685347118123828821891308593582898985659622

273267328020305358500873328310520996446562305759133927029055418095319855618043792758509176884127208

763329966073221668272512192379412414888923758174420357559195566886953341782605751900782716320388043

241633137809902127257055207136730594560969199701767926949379272381553859032077105935124258603291611

491468563595580107849013467483251070405535908000413587348834917975008983379006423032736725435308133

232670701004555152600869066632444317409473018659370169554362499526328233311586339612305247595282607

922165990326055504210932883228237210279569037090398728709708792380649679178790103987588507883054533

970631331405733116335218024376456146862040572042769149531635124850928761871056375614250590496539974

686710414245871398178326489964416768377405265389606730066416269561718459262035698253866258358269727

180862719562537631535970405634835288111400540685865940744348298797179700642272390305765628709085485

331995998881439837596050767753577254922530702245329018858598274235970621140901606963317621959685348

480871734137815963130983613545595955611303976819711484729588060825978486919635772257032472793890257

911399504934606378742258656347306389277575547308978219623614066328716167064997437355782313470274208

225811493883336456503709130385258356852333749235612220448562916421100463482601608517467074722842457

893471774684894845488309399260340076946733677434307644637972585935651136371967565545056795319009107

480009314821805482835539908116378037378851958333358861531712610566344197477232464573814601621508364

941105092920962336819058174612453423688548936714840862928418574768255765006860796506931527704492197

901211182575740867337966671059257412445262955677133599908076070190948675406361774213319534247121019

445924422469451370447683440366540665191224244775391900072290905076828765240529751662460880817381001

480221427681492457887573771785909121495587929305820355179008022337476868800151862899359830113957536

925042115388653867519975432109926147098364083977726344218340724463129037720361020180656730648147127

781827441094272939615922384958082811309317743400505342065637571899596909893912144189020632714210097

588901782140031192415466799213969489949023456297428492352215760115958676402534840933879832300594090

906728425720095503729219280120813485188045550955097574835196300668913948685394050243155373446050415

496851619814694355524354393963415898955748196918575124639686606261084323952543952954376633408280328

887771703528092086423626596989563534927567913002284271773241207729098151967136917516980307139873276

519562004450277668286867556784081420157546364597131075481198125957232154973022807919258807742890502

586456890157155005911381208889802670980904973138220778573321023776412934515236969903334340004543237

615824740138452977767305148811654765158056740764645737506028497831009933261553909886742201440804409

700727728098119363658170387329946625135359001059731116600566534160916575417028270236804575672330755

226813486686330324778198807485998187922400794388849254841891129516749632495442104959209918292769043

226185019275754338770030345725130209264975029693050099855591403833756073178893506170285700154123539

751272707971496738152757732073571943375843905591512803741216384006006657341604796207067484269920834

829310031543440955770431798603763911808459968851865750867549700107681983611900129007236993090453625

742241461439539835476961058941984772639995456932954961310054888630049605723200735744078204722234221

231544532257474116257191040537530672362313491705629432886056717863878656

            That's a number with 36,306 digits! So far this is the largest decimal expansion I've displayed on this page, this number being almost as big as the square of 2↑↑5.

            Next would be:

6↑↑4 = 6666 = 6646,656 =

6265911977 ... ... ... ... 7863878656 (w/36,306 digits)

           Of coarse we could continue with 6↑↑5, 6↑↑6, 6↑↑7, 6↑↑8, 6↑↑9, 6↑↑10, etc.

          With base 7 we have:

7↑↑2 = 77 = 823,543

7↑↑3 = 777 = 7823,543

7↑↑4 = 7777 = 77823,543

etc.

        With base 8 we have:

8↑↑2 = 88 = 16,777,216

8↑↑3 = 888 = 816,777,216

8↑↑4 = 8888 = 8816,777,216

etc.

        With base 9 we have:

9↑↑2 = 99 = 387,420,489

9↑↑3 = 999 = 10369,693,099

9↑↑4 = 9999 = 1010369,693,099

etc.

            Tetrational numbers, as you can see, are already staggeringly powerful. They are already enough to keep up with the largest numbers used even in the most esoteric realms of science. Yet these numbers pale in comparison to what the next hyper-operator can do ...

Pentational Numbers

            Just like tetration we can eliminate trivial cases. First off b↑↑↑1 = b. Furthermore 1↑↑↑p = 1 based on the fact that 1↑↑p = 1, & 1↑↑↑p = 1↑↑1↑↑1↑↑ ... ↑↑1↑↑1. So we again begin with 2↑↑↑2 as our first non-trivial example:

2↑↑↑2 = 2↑↑2 = 22 = 4

            Oddly, it turns out that 2↑↑↑2 is no bigger than 2↑↑2. Stranger still, although we are working with pentation, 2↑↑↑2 is trivially small. What about if we increase the polyponent by 1:

2↑↑↑3 = 2↑↑2↑↑2 = 2↑↑22 = 2↑↑4 = 2222 = 65,536

          Not bad, but not all that impressive either. Now prepare for a shock:

2↑↑↑4 = 2↑↑2↑↑2↑↑2 = 2↑↑2↑↑4 = 2↑↑2222 = 2↑↑65,536 =

2222......2222 w/65,536 2s

           That's a power tower of 2's 65,536 terms high!! We've just begun and we've already left every tetrational number in the previous section in the dust! Next would be ...

2↑↑↑5 = 2↑↑2↑↑2↑↑2↑↑2 = 2↑↑2↑↑2↑↑4 = 2↑↑2↑↑65,536 =

2↑↑(2222......2222 w/65,536 2s) =

2222......2222 w/2222......2222 w/65,536 2s 2s

            That's a power tower of 2's with as many terms as a power tower of 2's 65,536 terms high. Hopefully you can now see the pattern. With pentation, each time we increase the polyponent by one we have a power tower with as many terms as the previous expression. So 2↑↑↑6 = 2↑↑2↑↑↑5, which means a power tower of 2's with 2↑↑↑5 terms. 2↑↑↑7 would be a power tower with 2↑↑↑6 terms, 2↑↑↑8 a power tower with 2↑↑↑7, etc.

            Now let's try base 3:

3↑↑↑2 = 3↑↑3 = 333 = 7,625,597,484,987

            There is that number again. Next up is a staggering number:

3↑↑↑3 = 3↑↑3↑↑3 = 3↑↑333 = 3↑↑7,625,597,484,987

333......333 w/7,625,597,484,987 3s

            These are the kinds of numbers that usually break ones notion of infinity and greatly expand it when first encountered! And yet as large as a number like this seems, its really quite tiny when compared to the next one in the sequence:

3↑↑↑4 = 3↑↑3↑↑3↑↑3 = 3↑↑3↑↑333 = 3↑↑(333......333 w/7,625,597,484,987 3s) =

333......333 w/333......333 w/7,625,597,484,987 3s 3s

            Just getting your head around the idea is tricky. The power tower doesn't have 7 trillion 3s, no ... it has as many 3's as a power tower of 7 trillion 3s! Dizzy much?!Good, 'cause we've only just begun:

3↑↑↑5 = 333......333 w/333......333 w/333......333 w/333 3s 3s 3s

3↑↑↑6 = 333......333 w/3↑↑↑5 3s

3↑↑↑7 = 333......333 w/3↑↑↑6 3s

3↑↑↑8 = 333......333 w/3↑↑↑7 3s

etc.

            Okay now for base 4:

4↑↑↑2 = 4↑↑4 = 4↑4↑4↑4 = 4↑4↑256

4↑↑↑3 = 4↑↑4↑↑4 = 4↑↑(44256) =

44...44 w/44256 4s

4↑↑↑4 = 4↑↑4↑↑4↑↑4 = 4↑↑(44...44 w/44256 4s) =

44...44 w/44...44 w/44256 4s 4s

4↑↑↑5 = 4↑↑(4↑↑↑4) = 44...44 w/44...44 w/44...44 w/44256 4s 4s 4s

4↑↑↑6 = 4↑↑(4↑↑↑5) = 44...44 w/4↑↑↑5 4s

4↑↑↑7 = 4↑↑(4↑↑↑6) = 44...44 w/4↑↑↑6 4s

4↑↑↑8 = 4↑↑(4↑↑↑7) = 44...44 w/4↑↑↑7 4s

etc.

            Now base 5:

5↑↑↑2 = 5↑↑5 = 5553125

5↑↑↑3 = 5↑↑5↑↑5 = 5↑↑5553125 =

55...55 w/5553125 5s

5↑↑↑4 = 5↑↑5↑↑5↑↑5 = 5↑↑(55...55 w/5553125 5s) =

55...55 w/55...55 w/5553125 5s 5s

5↑↑↑5 = 5↑↑5↑↑5↑↑5↑↑5 =

55...55 w/55...55 w/55...55 w/5553125 5s 5s 5s

5↑↑↑6 = 55...55 w/5↑↑↑5 5s

5↑↑↑7 = 55...55 w/5↑↑↑6 5s

5↑↑↑8 = 55...55 w/5↑↑↑7 5s

etc.

            I think you get the idea. Things get really insane with the next up-arrow ...

Hexational Numbers

            As usual we can begin with the smallest non-trivial case:

2↑↑↑↑2 = 2↑↑↑2 = 2↑↑2 = 22 = 4

          Notice that we keep getting 4, no matter how many up-arrows we have. This follows from the definition. It follows from:

b↑cp = b↑c-1b↑c-1b↑c-1 ... b↑c-1b w/p bs

           that...

2↑c2 = 2↑c-12

            This means that the number of up-arrows will constantly tick down until we are left with 2↑2 = 4. Because of this 2↑c2 can also be considered a trivial case of sorts. Let's try increasing the polyponent by one:

2↑↑↑↑3 = 2↑↑↑2↑↑↑2 = 2↑↑↑4 = 2↑↑2↑↑2↑↑2 = 2↑↑2↑↑4 =

2↑↑65,536 = 22...22 w/65,536 2s

        That's a huge leap from 4! Of coarse we've already seen numbers like this with pentation. In order to transcend the previous operator class we need at least a polyponent of 4 for a base of 2, and at least a polyponent of 3 for any higher base. Get ready for something insane:

2↑↑↑↑4 = 2↑↑↑2↑↑↑2↑↑↑2 = 2↑↑↑(22...22 w/65,536 2s) =

2↑↑2↑↑2↑↑2↑↑2↑↑ ... ... ... ... ↑↑2↑↑2↑↑2↑↑2↑↑2 w/(22...22 w/65,536 2s) 2s =

22...22 w/22...22 w/22...22 w/ ... ... ... ... 22...22 w/2222 w/22 w/2 2s ... ... 2s

where there are "22...22 w/65,536 2s" power towers, the 1st being "2", the 2nd being "22" etc.

            In case that's just a bit much, let me clarify. To get 2↑↑↑↑4 begin with "2", and call it Stage 1. Now have a power tower with that number of 2s: 22. That's Stage 2. 2^2 = 4. Now have a power tower of that many 2s: 2^2^2^2 = 65,536. That's Stage 3. Now have a power tower of 65,536 2s. That's Stage 4. Continue in this manner until you reach Stage "A power tower of 2's 65,536 terms high".  At this point, as you can see, power towers are becoming cumbersome as an explanatory tool for these numbers! We can gain some clarity by switching to what I like to call tetra-towers.

            First off recall that:

pb = b↑↑p

            Now try to imagine the following transformation:

pb = bb...bb w/p bs

            I like to imagine the p passing through the b, changing direction, and then leaving a trail of b's. This notation now provides us with a convenient shorthand for power towers. A "Tetra-tower" is analogous to a power tower, except that it is formed by iterated tetration instead of exponents, and it leans to the left instead of the right. Expanding a tetra-tower into its equivalent power tower is fairly intuitive. Here is an example:

2222 = 2222 = 422 = 22222 =

65,5362 = 22...22 w/65,536 2s

            Now with that in mind, we can use tetra-towers to make comprehending 2↑↑↑↑4 a little easier:

2↑↑↑↑4 = 2↑↑↑2↑↑↑2↑↑↑2 = 2↑↑↑2↑↑↑4 = 2↑↑↑(2↑↑2↑↑2↑↑2) =

2↑↑↑(2222) =

2...22 w/ 2222 2s

        The expression certainly looks a lot more tame. Try to remember however that the tetra-tower to the left has 2222 terms. As the tetra-tower is collapsed, the last few 2s on top will be replaced by more and more absurdly long power towers. By the time it reaches the end, we've gone beyond what we can really describe. Then of coarse the power tower must be collapsed, leaving in its wake decimal expansions of unfathomable size!!! Would Archimedes be thrilled or horrified?! Perhaps both. And of coarse we can increase the polyponent:

2↑↑↑↑5 = 2...22 w/2...22 w/2222 2s 2s

2↑↑↑↑6 = 2...22 w/2...22 w/2...22 w/2222 2s 2s 2s

etc.

        Let's see what happens with base 3:

3↑↑↑↑2 = 3↑↑↑3 = 3↑↑3↑↑3 = 333 = 3333 =

7,625,597,484,9873 = 33...3 w/7,625,597,484,987 3s

       Now let's try the next one:

3↑↑↑↑3 = 3↑↑↑3↑↑↑3 = 3↑↑↑(333) =

3...33 w/333 3s

        Here is a visual representation of 3↑↑↑↑3 using power towers:

        The number 3↑↑↑↑3 has the special designation G1. As you might guess, the polyponent for hexation determines the number of vertical layers in the above stack. So 3↑↑↑↑4 would require a series of power towers 3↑↑↑↑3 terms long, beginning with 3, 3^3^3, etc. 3↑↑↑↑5 would require a series of power towers 3↑↑↑↑4 terms long, etc.

        Changing the base to 4 would simply mean replacing all instances of 3 with 4. Numbers this large are way beyond anything used outside of mathematics, and yet mathematicians have actually worked with numbers larger even than this! Now let's take this process of ascension to its natural conclusion...

Heptation, Octation, ...

        We already know that 2↑↑↑↑↑2 = 4 and 2↑↑↑↑↑3 = 2↑↑↑↑4. These numbers are nothing new. So let's begin with:

2↑↑↑↑↑4 = 2↑↑↑↑2↑↑↑↑2↑↑↑↑2 = 2↑↑↑↑2↑↑↑↑4 = 2↑↑↑↑(2↑↑↑2↑↑↑2↑↑↑2) =

2↑↑↑↑(2↑↑↑2↑↑↑4) = 2↑↑↑↑(2↑↑↑(2↑↑2↑↑2↑↑2)) = 2↑↑↑↑(2↑↑↑(2222)) =

2↑↑↑↑(2...22 w/ 2222 2s) =

2↑↑↑2↑↑↑2↑↑↑2↑↑↑ ... ... ... ... 2↑↑↑2↑↑↑2↑↑↑2 w/(2...22 w/ 2222 2s) 2s =

2...22 w/2...22 w/ ... ... 2...22 w/ 2222 w/22 w/2 2s ... ... 2s

where there are "2...22 w/ 2222 2s" tetra-towers beginning with "2", then "22" etc.

        Of coarse, things are again looking too complicated. So now I introduce my penta-towers. Oddly they aren't really towers, since they head downwards, but let's not get too hung up on terminology. Firstly I define:

p<--b = b...bb w/p bs

        We now have a convenient shorthand for tetra-towers!! Once again I imagine the p passing through the b, changing direction, and expanding to the upper left to create a tetra-tower. Here is a simple example of a penta-tower to help you get a feel for how this works:

2<--2<--2<--2 = 22<--2<--2 = 4<--2<--2 =

2222<-- 2 = 422<--2 = 22222<--2 = 65,5362<--2 =

(22...2 w/65,536 2s)<-- 2 =

22...2 2 w/22...2 w/65,536 2s 2s

            At this point things are beginning to get quite abstract, as we not only have to deal with expanding this example to tetra-towers, must must also use power towers to have a clear understanding of what we are doing. If you have read through the earlier examples however, some of the results should already be becoming familiar to you: For example, that 2222 = 65,536 without any computation. Although my Counter-Clockwise notation is pretty effective at displaying the process of these numbers there are some difficulties with mixed hyper-operations. For example, when a power tower is the bottom most polyponent to a penta-tower. In this case the notation would technically overlap itself since power towers and penta-towers are traveling in mutually opposed directions. The power tower would get "written over" the penta-tower. In practice however, this can be avoided by using a set of parenthesis for the bottom most polyponent. In general however the notation does have the tendency to coil about itself. This becomes more apparent past hexation, but the beginnings of the problem can be seen as early as pentation. None the less, I have found this notation is the best way to extend the subscript/superscript notation established by bp for exponents and pb for tetration.

            Now let's try to apply our penta-towers to the problem of expanding 2↑↑↑↑↑4:

2↑↑↑↑↑4 = 2↑↑↑↑2↑↑↑↑2↑↑↑↑2 = 2↑↑↑↑2↑↑↑↑4 = 2↑↑↑↑(2↑↑↑2↑↑↑2↑↑↑2) =

2↑↑↑2↑↑↑2↑↑↑ ... ... ↑↑↑2↑↑↑2 w/(2↑↑↑2↑↑↑2↑↑↑2) 2s =

2<--2<--...<--2<--2 w/2<--2<--2<--2 2s

            These numbers are so big that they are barely comparable to what most people imagine as "big numbers". We can barely make out how the power tower is constructed, let alone what the decimal expansion would be like. Forget understanding these kinds of numbers on any terms but their own!!

            Let me take this opportunity to point out a common rookie mistake. Some peoples reaction to this stuff when they first encounter it is to forestall shock or horror by preempting it with an "even larger number". What sometimes happens is that a person has a vague sense that something "very large" is being described, but they don't quite have their sea legs yet. That is to say, they don't fully understand how the notation works. They will then fall back on something more familiar that still seems "very large" to them. Usually it takes the following form: Take the largest number defined in what they've just read, for example 2↑↑↑↑↑4, and then come up with a retort of the form, '1 followed by THAT number of zeroes!'. That's got to HUGE right?! Yes and no. Obviously 10^N is always larger than N. However "how much larger" depends on the perspective we take. In a sense 1 followed by 2↑↑↑↑↑4 zeroes isn't really much larger than 2↑↑↑↑↑4. How is that possible?! If this seems inconceivable then you really haven't quite understood the vastness of 2↑↑↑↑↑4.

            Firstly let me clarify what large number aficionados mean when they say a number is "slightly larger", and "much much larger", because it doesn't mean the same thing as in ordinary language. Contrary to what you may have thought, our perception of number is largely logarithmic, not linear. To help you grasp this, consider the difference between the numbers, 3 and 47. Would you say that 47 is much bigger than 3? Of coarse, it's "MUCH bigger". Now compare the numbers 54069489061 and 54069489105. Would you say that 54069489105 is MUCH bigger than 54069489061? Of coarse not, you'd say they are basically the same. That is to say, it is only "very slightly larger". However the difference between 3 and 47 and 54069489061 and 54069489105 is both 44. So in theory the difference in size should be the same, right? Our number sense however just doesn't work like that. We rate size based on relative scale and proportion. The best way to understand this is by using a ratio. The reason why we say 47 is much larger than 3 is because it's over 15 times its size. The ratio can be found by dividing 47 by 3 ie. 47/3. The reason why we say 54069489105 is only slightly larger than 54069489061 is because 54069489105 is only 1.0000000008 times larger than 54069489061. So basically when an ordinary person says a number is MUCH larger than another,they mean its a large multiple of that number. When an ordinary person says a number is slightly larger, they usually mean that the number is greater than it, but the difference is very small fraction of the original value. By this reckoning 10^N is always VASTLY MORE than N no matter how large N is. In fact the ratio (10^N)/N is ALWAYS increasing! Try it for the counting numbers {1,2,3,...}, and you'll see how rapidly it grows. The first few values you obtain are 10/1 = 10, 100/2 = 50, 1000/3 = 333+(1/3), 10000/4 = 2500,etc. Generally the value increases by 1 order of magnitude each time you increase N by 1. So if this is so, why can I say that 1 followed by 2↑↑↑↑↑4 zeroes isn't much larger than 2↑↑↑↑↑4, in any sense?!

            The reason is because our logarithmic sense of number goes beyond mere ratios. Because very large numbers, like the ones were dealing with, can be no more than mathematical abstractions to us, we begin to judge size relative to the notations used. Now let's consider 1 followed by 2↑↑↑↑↑4 zeroes in a new light. Using the notations now at our disposal, we can say "1 followed by 2↑↑↑↑↑4 zeroes" is just 10↑2↑↑↑↑↑4 resolved from right to left. We've already established that 2↑↑↑↑↑4 is difficult to expand into a tetra-tower, let alone a power tower. Yet according to the definitions we know that eventually 2↑↑↑↑↑4 must expand to an unfathomably vast power tower of 2s. Although we can't say how many terms the power tower would have,(not even in terms of powers towers describing power towers!), we can say that it is some very vast number, M. Now consider this:

2↑↑↑↑↑4 := 22...2 w/M 2s

implies...

10↑2↑↑↑↑↑4 = 102...2 w/M+1 terms

            In essence, having 1 followed by 2↑↑↑↑↑4 zeroes, is like adding a single 10 at the bottom of a VAST power tower of 2s. From this point of view, it barely makes a difference! In fact, it would be much much better to put the 10 way up at the top, but as far as we are concerned that still wouldn't make much of a difference. As you can see, it now becomes very very easy to imagine numbers way vaster than 1 followed by 2↑↑↑↑↑4 zeroes, or even 1 followed by THAT number of zeroes. How about a power tower of 2's 2M terms high, M^2 terms high, or M^M^...^M w/M Ms terms high! You've just jumped out of one class of thinking and into a completely new one. Now with the merest stroke of your imagination you can trump someone whose still only thinking in terms of decimal expansions. But wait, it get's worse, because even if you imagined a power tower of 2s 2↑↑↑↑↑4 terms high, it STILL wouldn't be much larger than 2↑↑↑↑↑4. What?! The reason is similar. Simply recall that 2↑↑↑↑↑4 must expand to some vast tetra-tower of 2s. Say such a tetra-tower has "m" terms. Now consider:

2↑↑↑↑↑4 := 2...22 w/m 2s

implies...

2↑↑2↑↑↑↑↑4 = 2...22 w/m+1 2s

            Hopefully now, you are beginning to understand just how vast these numbers are. You'll also notice that their properties are very counter-intuitive. For example, even if we go with a number like (2↑↑↑↑↑4)↑↑↑(2↑↑↑↑↑4), it will still be less than 2↑↑↑↑↑5. This is because it would by definition be equal to 2↑↑↑↑(2↑↑↑↑↑4) = 2↑↑↑2↑↑↑2↑↑↑ ... 2↑↑↑2↑↑↑2 w/(2↑↑↑↑↑4) 2s.

               Here is a table which shows how to construct base 3 heptational numbers:

            To understand the above construction remember that every tetra-tower has as many 3's as the value of the tetra-tower to the immediate left. The left most tetra-tower always a lone 3. Each row of tetra-towers has as many towers as the value of the very last tetra-tower of the row immediately above it. The top most row contains only a lone tetra-tower. Using these rules one can extend the table arbitrarily. Keep in mind that each "tetra-tower" collapses to a power tower by repeatedly taking the two top most terms, resolving them to a power tower, evaluating, and then using this as the new polyponent for the next power tower.

            And we can continue to octation. Simply replace the tetra-towers with penta-towers! Ennation can be explained with the above system using hexa-towers, dekation with hepta-towers, and so on! Eventually the up-arrow notation will become unwieldy once it becomes difficult to determine the number of up-arrows, ie. 3↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑3. When there is more up arrows then we can actually write out, we've gone beyond the practical limitations of the notation. It would seem that up-arrows provide us with a terrific system for describing large numbers. Yet we've really only just gotten started, as we'll see as we progress...

            As you can see, Archimedes' point is made all the more vivid with Up-arrow notation. Archimedes dwarfed the known universe of his time with his notation. Since then the known universe has grown considerably. Archimedes' universe had a diameter of a hundred myriad myriad myriad stadia. However this only amounts to about 2 light years in modern units. We now know the observable universe to have a diameter of about 93 billion light years! Yet we still have no definite way to determine exactly how big the universe actually is, or whether it is indeed the only one. None the less indirect evidence has been used to make an educated guess. One of the most exotic theories is something called inflation. In this theory, the universe is supposed to have expanded very rapidly to smooth out inconsistencies in the background radiation. The most radical version claims that the universe may be as large as 1010^12 centimeters, meters, light years , or whatever (it makes little difference with numbers this big since there is only 18 orders of magnitude between centimeters and lights years, and this can easily be rounded off when we are dealing with a trillion orders of magnitude).

            Much like how Archimedes' model universe was highly theoretical at the time, inflationary theory is also more guess work than fact. What is interesting however is that our fringe theories are now approaching the size of Archimedes' number of 108*10^16. It is conceivable that in coming years theories may inflate the "supposed universe" even beyond this olympian value. And yet the scale of the universe we can prove exists still trails pathetically behind the numbers we can imagine! For even the largest values in physics only amount to power towers with a handful of terms, and as we've seen, power towers are quickly dwarfed by tetra-towers, penta-towers, hexa-towers, and beyond!

            Perhaps reality itself is infinite, but if this was so, how would we ever be able to observe this fact? If this is the case our "supposed universe" might grow indefinitely. Yet as our knowledge of the world has increased, so has our knowledge of number, and it has always out paced it by leaps and bounds. Our grasp of number surpassed our conception of the world a long time ago, and perhaps its a lead that will never again be closed. The universe may be larger than we suppose, but I doubt it will ever be larger than we could imagine!

Comparison to Hyper-E Notation

            I first encountered Knuth Up-arrow notation in 2004 during my first year of college. One day while I was in the college library I was remembering the large numbers I had devised as a kid, and I was wondering if there was anything about large numbers on the internet. For all I knew, no one had bothered to explore the topic. Let me tell you, did that turn out to be so wrong! As I soon discovered, there was a lot of information on large numbers on the internet, and people had actually bothered quite a bit. The first notation that I encountered and understood was the Up-arrow notation. One of the first things I did was try to make a comparison between the numbers I had devised as a kid, and those expressible with Up-arrows. I soon realized that the two systems were essentially expressing the same class of numbers. It turns out, that adding an argument in Hyper-E is roughly equivalent to adding an Up-arrow. In fact, it can be proven inductively that:

E(b)p = b↑p

E(b)1#p = b↑↑p

E(b)1#1#p = b↑↑↑p

E(b)1#1#1#p = b↑↑↑↑p

etc.

            More generally we can say that:

E(b)1#1# ... #1#p w/n arguments = b↑↑↑ ... ↑↑↑p w/n ↑s

            The count of arguments here does not include the base. This above statement is relatively easy to prove using mathematical induction. Firstly by definition E(b)p = b^p. Also E(b)1#p becomes b^b^b^...^b^b^1 w/p bs, and this is equivalent to b^^p.

            To prove the general progression first assume that E(b)1#1# ... #1#p has "n" arguments (not including the base), and that it is equal to b<n>p (using Bower's inline notation).

            Now observe, E(b)1#1# ... #1#1#1 w/n+1 args = b. Therefore it is also equal to b<n+1>1=b.

            Furthermore, E(b)1#1# ... #1#1#2 w/n+1 args = E(b)1#1# ... #1#(E(b)1#1# ... #1#1#1) = E(b)1#1# ... #1#b w/n args := b<n>b. Therefore it is also equal to b<n+1>2.

            Now assume that E(b)1#1# ... #1#1#k w/n+1 args = b<n+1>k.

            Observe that E(b)1#1# ... #1#1#(k+1) = E(b)1#1# ... #1#(E(b)1#1# ... #1#1#k) := E(b)1#1#...#1#(b<n+1>k) := b<n>b<n+1>k := b<n+1>(k+1).

            What this implies is that E(b)1#1# ... #1#1#p w/n+1 args = b<n+1>p. Thus, if the general statement is true of the nth case, it must also be true of the n+1th case. This sets up a domino effect and ricochets all the way to infinity! For if E(b)1#p = b^^p, then it follows that E(b)1#1#p = b^^^p. This in turn implies E(b)1#1#1#p = b^^^^p, which implies E(b)1#1#1#1#p = b^^^^^p, and so on ad infinitum.

            With this now proven, we can further show that:

b↑↑...↑↑p w/n ↑s ≤ E(b)a1#a2#...#an-1#p

            Where all arguments a1 ~ a2 are counting numbers. To prove this first note that:

E(b)a1#a2# ... #ak# ... #an-1#p < E(b)a1#a2# ... #(ak+c)# ... #an-1#p

            That is, if an arbitrary argument, the kth argument, where k can be anything from the 1st to the (n-1)th, is increased by some counting number , c, then the new expression is always greater. Combining this with our previous result we obtain the following important result:

b<n>p ≤ E(b)a1#a2# ... #an-1#p where n is a positive integer.

            This statement shows that Hyper-E notation grows at least as fast as Knuth Up-arrows, and a little faster if the arguments a1~an-1 are greater than 1. This implies for example that:

boogol < goolda

            Given that:

boogol = <10,10,100> = 10<100>10

&

goolda = E100##100 = E100#100# ... #100#100 w/100 100s

            For it follows that:

boogol = 10<100>10 < 10<100>100 =

E1#1#...#1#100 w/99 1s < E100#100# ... #100#100 w/100 100s =

E100##100 = goolda    

            It might seem that, if Hyper-E notation is larger than Knuth Up-arrows when the arguments (other than the base and the last argument) are greater than 1, then perhaps it eventually outclasses them. Does Hyper-E notation grow faster than Knuth Up-arrows?

            Consider the following example:

E5#5#1 = 10^10^10^10^10^5 > 10^^^1 = 10

E5#5#2 = E5#(E5#5) = 10^10^...^10^5 w/10^...^10^5 w/5 10s 10s > 10^^^2 = 10^^10

            By a similar token E5#5#3 > 10^^^3. So it would seem that in this case the Hyper-E notation is "growing faster" than the up-arrow notation. In fact we can easily prove that E5#5#p > 10^^^p for all p. Assume that the statement is true for k and every positive integer less than k. We can then show that...

Given: 10^^^k < E5#5#k

E5#5#(k+1) = E5#(E5#5#k) > E5#(10^^^k) > E1#(10^^^k) = 10^^10^^^k = 10^^^(k+1)

            This is again mathematical induction, and the result is a domino effect that proves the statement for all positive integers.

            Generally speaking, if we are give two functions, defined over the positive integers, call them f(n) and g(n), then saying g "grows faster" than f generally means that g eventually takes a lead on f that f never overcomes. Of coarse there is a more formal way we can state this:

Given two functions , f(n) and g(n), from the positive integers to the positive integers, g is said to "grow faster" than f if and only if there exists an M such that, f(n) < g(n) whenever n > M.

            As a good example for how this definition works to define "faster than", consider the functions f(n) = 2n & g(n) = n2 . Clearly we would say that g(n) is the faster growing function. We can see this in the sequence of values:

f(n) = 2,4,6,8,10,12, ... for n=1,2,3,4,5,6, ...

&

g(n) = 1,4,9,16,25,36, ... for n=1,2,3,4,5,6, ...

            We can see that the numbers themselves grow more quickly. However this doesn't mean that g is always greater than f. For example g(1) < f(1) since 1 < 2. Eventually however g takes the lead over f, and f never "catches up" again. We can look at the graph to see how g overtakes f:

        We can see that f(2) = g(2) since 4 = 4, but f(3) < g(3) since 6 < 9. After this g sky rockets further and further way from f. How do we know that g and f really never cross again? Recall that:

n2 = 1+3+5+ ... +(2n-1)

        That is, n2 is the sum of the first n odd numbers. We know that f(2) = g(2). However:

g(3) = 5+g(2) = 5+4 = 9

g(4) = 7+g(3) = 7+9 = 16

g(5) = 9+g(4) = 9+16 = 25

etc.

        This means the difference between consecutive terms is constantly increasing. In all these instances the difference is greater than 2, however with f, the difference is always 2 since:

f(3) = 2+f(2) = 2+4 = 6

f(4) = 2+f(3) = 2+6 = 8

f(5) = 2+f(4) = 2+8 = 10

etc.

        Since the difference is always 2 for f, and the distance is constantly increasing for g, it follows that g overtakes f, and f can never again catch up. To satisfy the definition for a faster growing function we can say that M = 2. If n > 2 it follows that f(n) < g(n). Thus g grows faster than f.

        The definition works pretty well at defining what it means to say one function grows faster than another. However there is certain limitations with such a definition. Take a pair of parallel lines, j and k, for example:

            j is always greater than k. Because of this we could pick any value for M and show that j grows faster than k. For example, M=0. We can then say k(n) < j(n) when n > 0. So according to our definition, j "grows faster" than k. However common sense would say "they grow at the same rate". They should be considered to be growing at the same rate, it's just that "j" has a bit of a head start. This provides the motivation for devising a better definition. Notice, if we moved j so that it overlapped with k, the two functions would match. Moving a function is known as a "translation". So in our new definition we want all translations of any function to be of the same growth rate. When functions have a different "shape" however, it is possible that one grows faster than the other. Note that, in our previous example, no matter how we move f(n) = 2n, it will always be overtaken by g(n) = n^2 eventually. This is because, regardless of how great a head start f is given, since g is accelerating while f is increasing at a constant rate, g must eventually catch up and then overtake f. We therefore use the following revised definition to say a function "grows faster" than another:

Given f and g, g is said to grow faster than f if and only if for every translation of f there exists an M such that f(n) < g(n) when n>M.

            Given this definition, it follows that to disprove that g grows faster than f it is sufficient to give a single translation in which M fails to exist. Returning to j and k, we can see that M fails to exist when k is translated to a position above j. However it also fails that k is greater than j for the same reason. If neither function can be established to grow faster than the other, they are declared of an "equivalent growth class". That is, they grow at the same rate.

            Using this definition can we come up with a precise formulation of the conjecture that "Hyper-E grows as fast as Knuth Up-arrows"? The problem is that our definition applies specifically to unary (single argument) functions. Up-arrow notation however is a tertiary (3-argument) function, and Hyper-E can have an arbitrary number of arguments. To get around this, we must define unary functions to represent the growth rate of each notation.

            I'll now define the following functions:

h(p) := E(b)a1#a2# ... #an-1#p w/n args

k(p) := b<n>p

            The variable, p, is the argument of the functions, and all other variables are fixed constants. I will show that for every set of fix constants, h(p) is in the same growth class as k(p), as just defined. This will be symbolized as:

h(p) == k(p)

            To begin, we first assume that all the arguments, a1 through an-1 are equal to 1. If this is so then:

h(p) = E(b)1#1# ... #1#p = b<n>p = k(p)

It follows that...

h(p) = k(p) implies h(p) == k(p)

            We therefore will assume that at least one argument, a1 through an-1, is not equal to 1. As we proved earlier however, this means that:

k(p) < h(p)

because...

k(p) = b<n>p = E(b)1#1# ... #1#p < E(b)a1#a2# ... #an-1#p = h(p)

            This would seem to imply that h(p) grows faster than k(p), since it is always greater. To show that they are of the same growth class we must show that there is a translation of k in which k is always greater than h. We will do this by giving k a head start.

            Firstly assume that the arguments, a1 through an-1, which we'll call the non-terminal arguments, are less than or equal to the base, b. If this is true it can be shown that:

E(b)a1#a2# ... #an-1#p < E(b)1#1# ... #1#(p+2) = b<n>(p+2) = k(p+2)

            k(p+2) corresponds to a translation of k, two units to the left. To prove this we will use the following valid transformation:

E(b)a1#a2# ... #an-1#p = E(b)a1#a2# ... #X#(p-1) where X = E(b)a1#a2# ... #an-1

            From this we can say that:

E(b)1#1# ... #1#(p+2) = E(b)1#1# ... #(E(b)1#1# ... #1)#(p+1) =

E(b)1#1# ... #b#(p+1) = E(b)1#1# ... #(E(b)1#1# ... #b)#p =

E(b)1#1# ... #(b<n-1>b)#p

            We could continue in this manner until the last argument was reduced to 1. We could then drop it, and we would be left with:

E(b)1#1# ... #(b<n-1>b<n-1> ... <n-1>b w/p+1 bs)

            To continue, we can subtract from the new terminal argument (last argument), and the 2nd to last argument will itself become an operator expression. Specifically:

E(b)1#1# ... #1#(b<n>(p+1)) = E(b)1#1# ... #b#(-1+b<n>(p+1)) =

E(b)1#1# ... #(b<n-2>b)#(-2+b<n>(p+1))

etc.

            The next step is tricky to explain, so I'll employ some special notation. Let:

bn-->p := b<n>p

            We now state that:

E(b)1#1# ... #bn-2-->b#(bn-1-->bn-1-->...n-1-->b -2)

is greater than...

E(b)1#1# ... # bn-2-->b#(bn-1-->...n-1-->-2+bn-1-->b)

is equal to...

E(b)1#1# ... # bn-2-->b#(-2+bn-1-->b)#p

            In other words, if we decrease the (n-1)th argument by 2, and replace the (n-2)th argument with bn-2-->b , this will still be less than the original expression. By a similar argument, since the (n-2)th argument would eventually reduce to an "arrow tower" of order n-2, if we decrease the (n-2)th argument by 2, and replace the (n-3)th argument with bn-3-->b , the resulting expression will again be less than the original expression. The upshot of this is that we can generate the following expression:

E(b)bb#(bb)-2#(b<--b)-2# ... #-2+bn-2-->b#(-2+bn-1-->b)#p

            The -2 will have a very minor effect on the arguments, however we can overestimate their effect, by replacing every argument with b. We can be sure this works, because the lowest base possible would be 2. In this case 4 = 22 = 22 = 2<--2 etc. Since 4-2 = 2, and the base is 2, it means the best case scenario is that the -2 will result in reducing the "arrow towers" to the base b. Note that if b>2, then the result will be larger than the base. For example:

33-2 > 33-3 > 33-8*3  = 3

implies...

3 < 33-2

            Because the final expression is a lower bound on the original expression it shows that:

E(b)b#b# ... #b#b#p < E(b)1#1# ... #1#1#(p+2)

            Thus if the non-terminal arguments are less than or equal to the base, we can say it is still much less than E(b)1#1# ... #1#(p+2).

            By using the same trick we can show that if a1 =< bb , a2 =< bb , a3 =< b<--b , and in general ak =< bk-->b , then E(b)1#1# ... #1#(p+3) is greater than E(b)a1#a2# ... #an-1#p.

            This works because:

(22^2)-3 = 24-3 > 24-3*22 = 22

            This will only be more so the larger the base and operator. We can also create an upper bound for the non-terminal arguments that result in a value less than E(b)1#1# ... #1#(p+4), E(b)1#1#...#1#(p+5), etc.

            The argument here rests on showing that (2^^k)-k > 2^^(k-1). This can be shown as follows:

(2^^k)-k > (2^^k)-(2^^(k-1))

Furthermore...

(2^^k)-(2^^(k-1)) > 2(2^^(k-1))-1

            This is because 2^^(k-1) is much less than half of 2^^k, and therefore it must have less of an effect than subtracting one from the exponent. Furthermore...

2(2^^(k-1))-1 > 22^^(k-2) = 2^^(k-1)

            Thus, the negatives can never do more than reduce the arrow towers by 1 term.

            Therefore we can now make the following assertion with confidence:

E(b)a1#a2#...#an-1#p < E(b)1#1#...#1#(p+c)

provided...

ak =< b<k+1>(c-1)

            This proves, that no matter how large the non-terminal arguments become, or how large the initial p, there must be an up-arrow expression which is larger. Essentially we have shown that:

h(p) < k(p+c)

            This proves, that given the appropriate shift to the left, k will gain a lead over h. Furthermore, because p wasn't specified, the statement applies no matter how large the argument p gets in the above statement. In fact, although it might seem that since h is "faster" than k, it would eventually catch up, it in fact gets further and further away from k, when k has a head start of c units.

            Now since

k(p) < h(p)

            it follows k can not be a faster growing function than h, since M fails to exist because k is always less than h. Yet h can not be a faster growing function than k since h(p) < k(p+c) and M again fails to exist. Since neither is greater than the other it implies that they have the same growth rate. Thus we have h(p) == k(p) for every set of non-terminal arguments.

            The consequence of this is that we can now say definitively that:

E(b)p has the same growth rate as b^p

E(b)a1#p has the same growth rate a b^^p

E(b)a1#a2#p has the same growth rate a b^^^p

etc.

            In general the growth rate of the nth argument is equivalent to the nth up-arrow operator with base b.

            It now becomes a lot easier to show more generally that Hyper-E notation is equivalent to Knuth Up-arrow notation. Firstly we now define:

H(n) = E(b)a#a# ... #a#a#p w/n args

K(n) = b<n>p

            Where a,b and p are arbitrary constants. We know that when a>1:

K(n) < H(n)

            However we can show that with the appropriate shift, k leads h no matter how large a is.

            We now know that there exists some c such that:

H(n) < k(p+c) = b<n>(p+c)

            Further we know there must exist some d such that:

b<n>(p+c) < b<n+d>p = K(n+d)

            Because c is a fixed value based on a, and d is a fixed value based on c, it means that:

H(n) < K(n+d)

            Thus:

H(n) == K(n)

            We have now proven that Hyper-E is equivalent to Knuth Up-arrow notation. That is not to say that they are the same function, but rather to say that they exhibit the same growth rate.

Conclusion

            Knuth up-arrows represent one of the most natural and intuitive ways of expressing large numbers. However, there are many other notations we have to explore in up coming articles. Many of these are growth equivalent to Knuth Up-arrows.

NEXT>> The Mega

Home> 3.2>

Works Cited

[1] http://en.wikipedia.org/wiki/The_Sand_Reckoner

[2] http://en.wikipedia.org/wiki/History_of_large_numbers

[3] http://jeff560.tripod.com/operation.html

[4] http://www.ehow.com/about_5339194_were-exponents-first-used.html

[5] http://en.wikipedia.org/wiki/Caret

[6] http://andydude.5gigs.net/tetration.co.cc/htdocs/hist.html

[7] http://en.wikipedia.org/wiki/Cutler%27s_bar_notation

[8] http://www.alpertron.com.ar/BIGCALC.HTM