Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Hyperoperators [n] basics for large n
#8
7. ((a > 2 or b > 2) and a > 1 and b > 1) -> a[n+1]b > a[n]b



Proof:
======

The case n = 1: we wish to prove that
a > 1 and b > 1 and (a > 2 or b > 2) -> a * b > a + b


2 * 3 > 2 + 3
a > 2 -> a * 2 = a + a > a + 2


Now suppose a * b > a + b for any a, b > 1

a * (b + 1) = a * b + a > a + b + a > a + (b + 1)




Now let's consider lemma 7 true for some n > 0.

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


Now suppose for some a, b: a > 1 and b > 1 and (a > 2 or b > 2) and a [n+2] b > a [n+1] b

a [n+2] (b + 1) = a [n+1] (a [n+2] b)
> a [n+1] (a [n+1] b)
> a [n] (a [n+1] b) (mind that a [n+1] b > b >= 2)
= a [n+1] (b + 1)


This proves lemma 7 to be true for n + 1.



So lemma 7 also has been proved for all n by induction applied to n.
Reply


Messages In This Thread
Hyperoperators [n] basics for large n - by dyitto - 03/06/2011, 01:20 AM
RE: Hyperoperators [n] basics for large n - by dyitto - 03/07/2011, 11:26 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Iteration basics Ivars 27 25,962 01/02/2017, 05:21 PM
Last Post: Xorter
  Logic hyperoperators hixidom 0 1,471 10/14/2015, 08:26 PM
Last Post: hixidom
  Theorem in fractional calculus needed for hyperoperators JmsNxn 5 6,637 07/07/2014, 06:47 PM
Last Post: MphLee
  2 [n] b and 3 [n] b for (large) integer n, b dyitto 2 3,847 03/12/2011, 10:52 PM
Last Post: dyitto
  Hyperoperators Mr. Pig 4 5,461 06/20/2010, 12:26 PM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)