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



Users browsing this thread: 1 Guest(s)