Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2004

[Date Index] [Thread Index] [Author Index]

Search the Archive

Proving inequalities with Mathematica

  • To: mathgroup at
  • Subject: [mg52491] Proving inequalities with Mathematica
  • From: "Toshiyuki \(Toshi\) Meshii" <meshii at>
  • Date: Mon, 29 Nov 2004 01:22:40 -0500 (EST)
  • Sender: owner-wri-mathgroup at


I was wondering whether Mathematica is useful for proving a problem of 
My problem is as follows:

Let An and Bn (n=1,2,3...) be real sequences.
Some characteristics of these sequences are known.

i) Abs[An+1/An] < 1
ii) Abs[Bn+1/Bn] < 1
iii) Sum[An, {1,Infinity}] = 0
iv) Sum[An*Bn, {1, Infinity}] = alpha (note: a real number)

Then I want to prove with Mathematica that
0 < Abs[alpha] < Abs[A1*B1]

Does anyone have an idea?


  • Prev by Date: sort procedure
  • Next by Date: Re: Integration of piecewise function
  • Previous by thread: Re: sort procedure
  • Next by thread: Re: Proving inequalities with Mathematica