Re: Analysis with sin(1).



On Oct 4, 11:06 am, "mina_world" <mina_wo...@xxxxxxxxxxx> wrote:
"Pubkeybreaker" <pubkeybrea...@xxxxxxx> wrote in message

news:1191520713.318967.91200@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx







Arturo Magidin wrote:
In article <1191518136.089372.78...@xxxxxxxxxxxxxxxxxxxxxxxxxxx>,
Pubkeybreaker <pubkeybrea...@xxxxxxx> wrote:

Hint:

Is sin(x) < x?????

That guarantees the sequence converges (being monotone decreasing and
nonnegative), but I think it is insufficient to imply that the
sequence converges to 0.

Correct. But we also have lim x-->0 sin(x)/x = 1..

Sorry. I can't follow your thinking.
I need detailed explanation.- Hide quoted text -

- Show quoted text -


Perhaps you could start by proving:
sin(x) < x - x^3/3! + x^5/5!

then if the limit > 0, then you could form a contradiction?

.



Relevant Pages

  • Re: countability of reals
    ... >> Omega sequence is computable, ... If TM1 is implementable in a TM0, ... > That means, if Zdoes not halt, then Zoutputs 1. ... > Contradiction, obviously follows from such a POOR DEFINTION for a function. ...
    (sci.math)
  • Re: countability of reals
    ... >> Omega sequence is computable, ... If TM1 is implementable in a TM0, ... > That means, if Zdoes not halt, then Zoutputs 1. ... > Contradiction, obviously follows from such a POOR DEFINTION for a function. ...
    (sci.logic)
  • Re: An infinite debate
    ... That's a contradiction. ... So before noon the sequence is not complete, ... it is first complete, we do disagree. ... In mathematics, for a general function of a continuous variable, like ...
    (sci.math)
  • Re: Closed set of rationals
    ... William Elliot wrote: ... a clopen set V such that K subset V = cl V subset U? ... b_n, which implies q is irrational, contradiction. ... since they each contain a point of K, we obtain a sequence in K ...
    (sci.math)
  • Re: Formalization of the "UTM(n)" notation
    ... I'm contradiction your proof that ... rigorous disproof of the construction of X = ... > each then you can still make a new sequence (defying all common sense ...
    (sci.logic)