Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Another proof of TPID 6
#1
(10/07/2009, 12:03 AM)andydude Wrote: Conjecture

where such that

Discussion

To evaluate f at real numbers, an extension of tetration is required, but to evaluate f at positive integers, only real-valued exponentiation is needed. Thus the sequence given by the solutions of the equations




and so on... is the sequence under discussion. The conjecture is that the limit of this sequence is , also known as eta (). Numerical evidence indicates that this is true, as the solution for x in is approximately 1.44.

lim n-> oo x^^n = n conj : any real x = eta

since (eta+q) ^^ n grows faster than n for any positive q , we can use the squeeze theorem

lim q -> 0 eta =< x <= eta + q

hence x = eta

see also http://en.wikipedia.org/wiki/Squeeze_theorem

QED

regards

tommy1729
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 3,444 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 2,839 09/06/2016, 04:23 PM
Last Post: tommy1729
  Flexible etas and eulers ? TPID 10 tommy1729 0 2,495 08/19/2016, 12:09 PM
Last Post: tommy1729
  (almost) proof of TPID 13 fivexthethird 1 4,170 05/06/2016, 04:12 PM
Last Post: JmsNxn
  TPID 4 tommy1729 29 42,247 07/07/2014, 11:56 PM
Last Post: tommy1729
  introducing TPID 16 tommy1729 4 8,324 06/18/2014, 11:46 PM
Last Post: tommy1729
  Proof Ackermann function extended to reals cannot be commutative/associative JmsNxn 1 4,700 06/15/2013, 08:02 PM
Last Post: MphLee
  Proof Ackermann function cannot have an analytic identity function JmsNxn 0 3,367 11/11/2011, 02:26 AM
Last Post: JmsNxn
  TPID 8 tommy1729 0 2,945 04/04/2011, 10:45 PM
Last Post: tommy1729
  Discussion of TPID 6 JJacquelin 3 9,011 10/24/2010, 07:44 AM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)