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



Users browsing this thread: 1 Guest(s)