Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
2 [n] b and 3 [n] b for (large) integer n, b
#1
There's one thing I can easily proof about this:

n > 2 -> 3 [n] 2 > 2 [n] 3

Proof:

n = 3:
3 [3] 2 = 3 ^ 2 = 9 > 8 = 2 ^ 3 = 2 [3] 3

Suppose for some n > 2 : 3 [n] 2 > 2 [n] 3
Then we wish to prove that 3 [n+1] 2 > 2 [n+1] 3


3 [n+1] 2 = 3 [n] 3
= 3 [n-1] (3 [n] 2)
> 3 [n-1] (2 [n] 3)
> 2 [n-1] (2 [n] 3)
= 2 [n] 4
= 2 [n] (2 [n+1] 2)
= 2 [n+1] 3




But now I also suspect that for each n:

2 [n+1] b > 3 [n] b

will be true for sufficiently large b

n = 1:
b > 3 -> 2 * b > 3 + b

n = 2:
b > 3 -> 2 ^ b > 3 * b

But haven't yet proved it for any n > 2.
Reply
#2
n = 3:
b > 3 -> 2 [4] b > 3 [3] b

Proof:

For b = 4:
2 [4] 4 = 2 ^ (2 ^ (2 ^ 2)) = 2 ^ (2 ^ 16) = 2 ^ 65536 > 81 = 3 ^ 4 = 3 [3] 4

Let's assume that 2 [4] b > 3 [3] b for some b > 3.
Then we wish to prove that 2 [4] (b + 1) > 3 [3] (b + 1)


2 [4] (b + 1) = 2 ^ (2 [4] b)
> 2 ^ (3 [3] b)
> 3 * (3 [3] b)
= 3 [3] (b + 1)
Reply
#3
n = 4:
b > 3 -> 2 [5] b > 3 [4] b

Proof:

For b = 4:

Apply lemma 8 having a = 2, b = 3, c = 2, m = 4, k = 2:

2 [4] 4 > 2 * (3 + 2) is certainly true
-> 2 [4] 7 >= 3 [4] 4
2 [5] 4 = 2 [4] 65536 > 2 [4] 7 >= 3 [4] 4

Let's assume that 2 [5] b > 3 [4] b for some b > 3.
Then we wish to prove that 2 [5] (b + 1) > 3 [4] (b + 1)


2 [5] (b + 1) = 2 [4] (2 [5] b)
> 2 [4] (3 [4] b)
> 3 [3] (3 [4] b)
= 3 [4] (b + 1)
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 137 09/09/2019, 10:38 PM
Last Post: tommy1729
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 627 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Tetration series for integer exponent. Can you find the pattern? marraco 20 15,081 02/21/2016, 03:27 PM
Last Post: marraco
  Lit: f(x)=log(x) iff x is integer Gottfried 3 4,464 03/17/2015, 11:35 PM
Last Post: tommy1729
  Tommy's conjecture : every positive integer is the sum of at most 8 pentatope numbers tommy1729 0 1,961 08/17/2014, 09:01 PM
Last Post: tommy1729
  Integer tetration and convergence speed rules marcokrt 5 6,871 12/21/2011, 06:21 PM
Last Post: marcokrt
  Hyperoperators [n] basics for large n dyitto 9 8,097 03/12/2011, 10:19 PM
Last Post: dyitto
  Observations on branching and integer iterates jaydfox 1 3,426 11/23/2007, 08:31 AM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)