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 2,013 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 2,108 09/06/2016, 04:23 PM
Last Post: tommy1729
  Flexible etas and eulers ? TPID 10 tommy1729 0 1,889 08/19/2016, 12:09 PM
Last Post: tommy1729
  (almost) proof of TPID 13 fivexthethird 1 3,069 05/06/2016, 04:12 PM
Last Post: JmsNxn
  TPID 4 tommy1729 29 32,235 07/07/2014, 11:56 PM
Last Post: tommy1729
  introducing TPID 16 tommy1729 4 6,411 06/18/2014, 11:46 PM
Last Post: tommy1729
  Proof Ackermann function extended to reals cannot be commutative/associative JmsNxn 1 3,715 06/15/2013, 08:02 PM
Last Post: MphLee
  Proof Ackermann function cannot have an analytic identity function JmsNxn 0 2,840 11/11/2011, 02:26 AM
Last Post: JmsNxn
  TPID 8 tommy1729 0 2,332 04/04/2011, 10:45 PM
Last Post: tommy1729
  Discussion of TPID 6 JJacquelin 3 7,326 10/24/2010, 07:44 AM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)