Re: a question about a series diversion

From: David C. Ullrich (ullrich_at_math.okstate.edu)
Date: 07/01/04


Date: Thu, 01 Jul 2004 15:22:08 -0500

On Fri, 2 Jul 2004 00:58:49 +0900, "tngkr" <s@m.com> wrote:

>I have a question regarding the series:
>1 - M(1)/M(2) + 1 - M(2)/M(3) + 1 - M(3)/M(4) + ....
>,where { M(i) } is an arbitrary strictly increasing sequence of positive
>integers.

Did you really mean that series, or do you want to talk about the
series

(1 - M(1)/M(2)) + (1 - M(2)/M(3)) + (1 - M(3)/M(4)) + ....

? There's a big difference; the terms in the series you
wrote do not tend to 0 regardless of what the M's are,
so the series cannot possibly converge.

>Question: How should one prove that this series converges to infinity.

If you're thinking about the series with the parentheses added,
it can converge or diverge. If you think about it for a second
you'll see that given any sequence a_n with 0 < a_n < 1 there
exists an increasing sequence M(n) such that M(n)/M(n+1) = a_n
for all n. So 1 - M(n)/M(n+1) can also be anything you
want between 0 and 1, hence the sum can be infinite or
any positive number.

************************

David C. Ullrich



Relevant Pages

  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... this series can be made to sum to anything. ... that involves taking an infinite subset first ... and you still dont admit your mistake. ... David C. Ullrich ...
    (sci.math)
  • Re: Finite measure
    ... >>>of an infinite measure set is finite) is false, ... >> David C. Ullrich ... The finite and cofinite sets do not form a ...
    (sci.math)
  • Re: Continuity
    ... >David C. Ullrich wrote: ... Given a conditionally convergent series ... sum aconverges. ...
    (sci.math)
  • Re: A Poker Problem (Heads Up)
    ... >David C. Ullrich wrote: ... >>>only allowed to raise N times. ... sum, and it's not at all clear to me that the ...
    (sci.math)
  • Re: FO logic without equality
    ... David C. Ullrich writes: ... are arbitrarily large finite models without using a construction ... that would also give an infinite model... ...
    (sci.logic)