Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Hyperoperators [n] basics for large n
#10
8.
Let a, b integer, 1 < a < b
Let c = rounded up to the next integer
Let k, m integer, m > 0, k >= 0

a [4] m >= c * (b + k) -> a [4] (m + k + 1) >= b [4] (k + 2)

Proof:
http://www.scrybqj.com/scrybqjdocuments/..._proof.pdf

I hope I'll find some time to put this content in Tex.Blush
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/12/2011, 10:19 PM

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



Users browsing this thread: 1 Guest(s)