The method of exhaustion for the area of a parabolic segment

[Forrest T]

When I started reading Calculus Volume I by Apostol, I didn't fully understand his description of the method of exhaustion. I noticed that Caltech and MIT don't even teach from this section of the book, and decided not to worry about it. I understand why everything in the proof is true, I just don't understand why Apostol discarded parts of some equations. Please enlighten me.
Here is the part of the proof of the area under a parabola:

The author establishes the following equations:

1² + 2² + \cdots + (n - 1)² = n³/3 - n²/2 + n/6
1² + 2² + \cdots + n² = n³/3 + n²/2 + n/6

Then it says: For our purposes, we do not need the exact expressions given in the right-hand members of [these two equations]. All we need are the two inequalities

1² + 2² + \cdots + (n - 1)² < n³/3 < 1² + 2² + \cdots + n²

which are valid for every integer n \geq1. These inequalities can be deduced easily as consequences of [the two above equations], or they can be proved directly by induction.

If we multiply both inequalities by b³/n³ and make use of [the equations for the upper sum (S_n) and lower sum (s_n) we observe

s_n < b³/3 < S_n

for every n. The author then proves that b³/3 is the only number between s_n and S_n (proving the theorem).

It seems to me as though the author arbitrarily discards part of the first equations, and I don't understand the justification for this. Apostol led me to believe he was deriving the theorem, as Archimedes would have, through the method of exhaustion, rather than writing an unwieldy proof of a basic formula. In other words, I don't know why Archimedes would have discarded those parts of the first two equations while deriving the theorem.
Can someone please explain this to me? Thanks!

 

[mathman]

You need to give some more information. What is b and what are s_n and S_n?

 

[Forrest T]

A parabolic segment is the area bounded by the parabola y=x², the line x=b, and the x-axis. So b is the length of the base of the parabolic segment. n is the number of subdivisions of the base (each subdivision is of width b/n). S_n is the upper sum (the sum of the areas of rectangles drawn above the parabola, as an approximation) and s_n is the lower sum, the sum of the areas of the rectangles drawn below the parabola.

 

[mathman]

I am not sure what you are asking, but s_n and S_n have the same limit as n becomes infinite.

 

[Forrest T]

I realize that and can follow the proof. I just don't understand why the ends of the first two equations were discarded.