The First Fundamental Theorem of Calculus looks at the area function and its derivative. It so happens that the derivative of the area function is the original integrand.

1. Section 5.4
The Fundamental Theorem of Calculus
V63.0121, Calculus I
April 22, 2009
Announcements
Quiz 6 next week on §§5.1–5.2
. . . . . .

2. The definite integral as a limit
Definition
If f is a function defined on [a, b], the definite integral of f from a
to b is the number
∫b n
∑
f(x) dx = lim f(ci ) ∆x
∆x→0
a i=1
. . . . . .

3. Theorem (The Second Fundamental Theorem of Calculus)
Suppose f is integrable on [a, b] and f = F′ for another function F,
then ∫ b
f(x) dx = F(b) − F(a).
a
. . . . . .

4. The Integral as Total Change
Another way to state this theorem is:
∫ b
F′ (x) dx = F(b) − F(a),
a
or the integral of a derivative along an interval is the total change
between the sides of that interval. This has many ramifications:
. . . . . .

5. The Integral as Total Change
Another way to state this theorem is:
∫ b
F′ (x) dx = F(b) − F(a),
a
or the integral of a derivative along an interval is the total change
between the sides of that interval. This has many ramifications:
Theorem
If v(t) represents the velocity of a particle moving rectilinearly,
then ∫ t1
v(t) dt = s(t1 ) − s(t0 ).
t0
. . . . . .

6. The Integral as Total Change
Another way to state this theorem is:
∫ b
F′ (x) dx = F(b) − F(a),
a
or the integral of a derivative along an interval is the total change
between the sides of that interval. This has many ramifications:
Theorem
If MC(x) represents the marginal cost of making x units of a
product, then
∫x
C(x) = C(0) + MC(q) dq.
0
. . . . . .

7. The Integral as Total Change
Another way to state this theorem is:
∫ b
F′ (x) dx = F(b) − F(a),
a
or the integral of a derivative along an interval is the total change
between the sides of that interval. This has many ramifications:
Theorem
If ρ(x) represents the density of a thin rod at a distance of x from
its end, then the mass of the rod up to x is
∫x
m(x) = ρ(s) ds.
0
. . . . . .

8. My first table of integrals
∫ ∫ ∫
[f(x) + g(x)] dx = f(x) dx + g(x) dx
∫ ∫
∫
xn+1
xn dx = cf(x) dx = c f(x) dx
+ C (n ̸= −1)
n+1 ∫
∫
1
ex dx = ex + C dx = ln |x| + C
x
∫
∫
ax
ax dx = +C
sin x dx = − cos x + C
ln a
∫
∫
csc2 x dx = − cot x + C
cos x dx = sin x + C
∫
∫
sec2 x dx = tan x + C csc x cot x dx = − csc x + C
∫
∫
1
√ dx = arcsin x + C
sec x tan x dx = sec x + C
1 − x2
∫
1
dx = arctan x + C
1 + x2
. . . . . .

9. Outline
My first table of integrals
The First Fundamental Theorem of Calculus
The Area Function
Statement and proof of 1FTC
Biographies
Differentiation of functions defined by integrals
“Contrived” examples
Erf
Other applications
Facts about g from f
A problem
. . . . . .

10. An area function
∫ x
3
Let f(t) = t and define g(x) = f(t) dt. Can we evaluate the
0
integral in g(x)?
.
x
.
0
.
. . . . . .

11. An area function
∫ x
3
Let f(t) = t and define g(x) = f(t) dt. Can we evaluate the
0
integral in g(x)?
Dividing the interval [0, x] into n pieces
x ix
gives ∆x = and xi = 0 + i∆x = .
n n
So
x x3 x (2x)3 x (nx)3
· 3 + · 3 + ··· + · 3
Rn =
nn n n n n
4( )
x
= 4 1 3 + 2 3 + 3 3 + · · · + n3
n
x4 [ 1 ]2
= 4 2 n(n + 1)
.
n
x
.
0
.
x4 n2 (n + 1)2 x4
→
=
4n4 4
as n → ∞.
. . . . . .

12. An area function, continued
So
x4
g(x) = .
4
. . . . . .

13. An area function, continued
So
x4
g(x) = .
4
This means that
g′ (x) = x3 .
. . . . . .

14. The area function
Let f be a function which is integrable (i.e., continuous or with
finitely many jump discontinuities) on [a, b]. Define
∫x
g(x) = f(t) dt.
a
When is g increasing?
. . . . . .

15. The area function
Let f be a function which is integrable (i.e., continuous or with
finitely many jump discontinuities) on [a, b]. Define
∫x
g(x) = f(t) dt.
a
When is g increasing?
When is g decreasing?
. . . . . .

16. The area function
Let f be a function which is integrable (i.e., continuous or with
finitely many jump discontinuities) on [a, b]. Define
∫x
g(x) = f(t) dt.
a
When is g increasing?
When is g decreasing?
Over a small interval, what’s the average rate of change of g?
. . . . . .

17. Theorem (The First Fundamental Theorem of Calculus)
Let f be an integrable function on [a, b] and define
∫x
g(x) = f(t) dt.
a
If f is continuous at x in (a, b), then g is differentiable at x and
g′ (x) = f(x).
. . . . . .

18. Proof.
Let h > 0 be given so that x + h < b. We have
g(x + h) − g(x)
=
h
. . . . . .

19. Proof.
Let h > 0 be given so that x + h < b. We have
∫ x+h
g(x + h) − g(x) 1
f(t) dt.
=
h h x
. . . . . .

20. Proof.
Let h > 0 be given so that x + h < b. We have
∫ x+h
g(x + h) − g(x) 1
f(t) dt.
=
h h x
Let Mh be the maximum value of f on [x, x + h], and mh the
minimum value of f on [x, x + h]. From §5.2 we have
∫ x+h
f(t) dt
x
. . . . . .

21. Proof.
Let h > 0 be given so that x + h < b. We have
∫ x+h
g(x + h) − g(x) 1
f(t) dt.
=
h h x
Let Mh be the maximum value of f on [x, x + h], and mh the
minimum value of f on [x, x + h]. From §5.2 we have
∫ x+h
f(t) dt ≤ Mh · h
x
. . . . . .

22. Proof.
Let h > 0 be given so that x + h < b. We have
∫ x+h
g(x + h) − g(x) 1
f(t) dt.
=
h h x
Let Mh be the maximum value of f on [x, x + h], and mh the
minimum value of f on [x, x + h]. From §5.2 we have
∫ x+h
mh · h ≤ f(t) dt ≤ Mh · h
x
. . . . . .

23. Proof.
Let h > 0 be given so that x + h < b. We have
∫ x+h
g(x + h) − g(x) 1
f(t) dt.
=
h h x
Let Mh be the maximum value of f on [x, x + h], and mh the
minimum value of f on [x, x + h]. From §5.2 we have
∫ x+h
mh · h ≤ f(t) dt ≤ Mh · h
x
So
g(x + h) − g(x)
mh ≤ ≤ Mh .
h
. . . . . .

24. Proof.
Let h > 0 be given so that x + h < b. We have
∫ x+h
g(x + h) − g(x) 1
f(t) dt.
=
h h x
Let Mh be the maximum value of f on [x, x + h], and mh the
minimum value of f on [x, x + h]. From §5.2 we have
∫ x+h
mh · h ≤ f(t) dt ≤ Mh · h
x
So
g(x + h) − g(x)
mh ≤ ≤ Mh .
h
As h → 0, both mh and Mh tend to f(x). Zappa-dappa.
. . . . . .

25. Meet the Mathematician: James Gregory
Scottish, 1638-1675
Astronomer and
Geometer
Conceived
transcendental numbers
and found evidence that
π was transcendental
Proved a geometric
version of 1FTC as a
lemma but didn’t take it
further
. . . . . .

26. Meet the Mathematician: Isaac Barrow
English, 1630-1677
Professor of Greek,
theology, and
mathematics at
Cambridge
Had a famous student
. . . . . .

27. Meet the Mathematician: Isaac Newton
English, 1643–1727
Professor at Cambridge
(England)
Philosophiae Naturalis
Principia Mathematica
published 1687
. . . . . .

28. Meet the Mathematician: Gottfried Leibniz
German, 1646–1716
Eminent philosopher as
well as mathematician
Contemporarily
disgraced by the
calculus priority dispute
. . . . . .

29. Differentiation and Integration as reverse processes
Putting together 1FTC and 2FTC, we get a beautiful relationship
between the two fundamental concepts in calculus.
∫ x
d
f(t) dt = f(x)
dx a
. . . . . .

30. Differentiation and Integration as reverse processes
Putting together 1FTC and 2FTC, we get a beautiful relationship
between the two fundamental concepts in calculus.
∫ x
d
f(t) dt = f(x)
dx a
∫ b
F′ (x) dx = F(b) − F(a).
a
. . . . . .

31. Outline
My first table of integrals
The First Fundamental Theorem of Calculus
The Area Function
Statement and proof of 1FTC
Biographies
Differentiation of functions defined by integrals
“Contrived” examples
Erf
Other applications
Facts about g from f
A problem
. . . . . .

32. Differentiation of area functions
Example ∫
x
t3 dt. We know g′ (x) = x3 . What if instead we had
Let g(x) =
0
∫ 3x
t3 dt.
h(x) =
0
What is h′ (x)?
. . . . . .

33. Differentiation of area functions
Example ∫
x
t3 dt. We know g′ (x) = x3 . What if instead we had
Let g(x) =
0
∫ 3x
t3 dt.
h(x) =
0
What is h′ (x)?
Solution ∫ u
t3 dt
We can think of h as the composition g k, where g(u) =
◦
0
and k(x) = 3x. Then
h′ (x) = g′ (k(x))k′ (x) = 3(k(x))3 = 3(3x)3 = 81x3 .
. . . . . .

34. Example
∫ sin2 x
(17t2 + 4t − 4) dt. What is h′ (x)?
Let h(x) =
0
. . . . . .

35. Example
∫ sin2 x
(17t2 + 4t − 4) dt. What is h′ (x)?
Let h(x) =
0
Solution
We have
∫ sin2 x
d
(17t2 + 4t − 4) dt
dx 0
( )d
= 17(sin2 x)2 + 4(sin2 x) − 4 · sin2 x
dx
( )
= 17 sin4 x + 4 sin2 x − 4 · 2 sin x cos x
. . . . . .

36. Erf
Here’s a function with a funny name but an important role:
∫x
2 2
e−t dt.
√
erf(x) =
π0
. . . . . .

37. Erf
Here’s a function with a funny name but an important role:
∫x
2 2
e−t dt.
√
erf(x) =
π0
It turns out erf is the shape of the bell curve.
. . . . . .

38. Erf
Here’s a function with a funny name but an important role:
∫x
2 2
e−t dt.
√
erf(x) =
π0
It turns out erf is the shape of the bell curve. We can’t find erf(x),
explicitly, but we do know its derivative.
erf′ (x) =
. . . . . .

39. Erf
Here’s a function with a funny name but an important role:
∫x
2 2
e−t dt.
√
erf(x) =
π0
It turns out erf is the shape of the bell curve. We can’t find erf(x),
explicitly, but we do know its derivative.
2 2
erf′ (x) = √ e−x .
π
. . . . . .

40. Erf
Here’s a function with a funny name but an important role:
∫x
2 2
e−t dt.
√
erf(x) =
π0
It turns out erf is the shape of the bell curve. We can’t find erf(x),
explicitly, but we do know its derivative.
2 2
erf′ (x) = √ e−x .
π
Example
d
erf(x2 ).
Find
dx
. . . . . .

41. Erf
Here’s a function with a funny name but an important role:
∫x
2 2
e−t dt.
√
erf(x) =
π0
It turns out erf is the shape of the bell curve. We can’t find erf(x),
explicitly, but we do know its derivative.
2 2
erf′ (x) = √ e−x .
π
Example
d
erf(x2 ).
Find
dx
Solution
By the chain rule we have
d d 2 4
22 4
erf(x2 ) = erf′ (x2 ) x2 = √ e−(x ) 2x = √ xe−x .
dx dx π π
. . . . . .

42. Other functions defined by integrals
The future value of an asset:
∫∞
π(τ )e−rτ dτ
FV(t) =
t
where π(τ ) is the profitability at time τ and r is the discount
rate.
The consumer surplus of a good:
∫ q∗
CS(q∗ ) = (f(q) − p∗ ) dq
0
where f(q) is the demand function and p∗ and q∗ the
equilibrium price and quantity.
. . . . . .

43. Outline
My first table of integrals
The First Fundamental Theorem of Calculus
The Area Function
Statement and proof of 1FTC
Biographies
Differentiation of functions defined by integrals
“Contrived” examples
Erf
Other applications
Facts about g from f
A problem
. . . . . .

44. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
.(
• .3,3)
3
.
.( .(
• .2,2) • .5,2)
2
.
. .1,1)
(
1
. •
. ... . . . . . .
4
. 7
.
123
... 5
. 8
. 9
.
6
.
. . . . . .

45. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
What is the particle’s velocity
.(
• .3,3)
3
. at time t = 5?
.( .(
• .2,2) • .5,2)
2
.
. .1,1)
(
1
. •
. ... . . . . . .
4
. 7
.
123
... 5
. 8
. 9
.
6
.
. . . . . .

46. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
What is the particle’s velocity
.(
• .3,3)
3
. at time t = 5?
.( .(
• .2,2) • .5,2)
2
.
Solution
. .1,1)
(
1
. •
Recall that by the FTC we
. ... . . . . . . have
4
. 7
.
123
... 5
. 8
. 9
.
6
.
s′ (t) = f(t).
So s′ (5) = f(5) = 2.
. . . . . .

47. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
Is the acceleration of the par-
.(
• .3,3)
3
. ticle at time t = 5 positive or
.( .(
• .2,2) • .5,2)
2
. negative?
. .1,1)
(
1
. •
. ... . . . . . .
4
. 7
.
123
... 5
. 8
. 9
.
6
.
. . . . . .

48. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
Is the acceleration of the par-
.(
• .3,3)
3
. ticle at time t = 5 positive or
.( .(
• .2,2) • .5,2)
2
. negative?
. .1,1)
(
1
. •
Solution
. ... . . . . . . We have s′′ (5) = f′ (5), which
4
. 7
.
123
... 5
. 8
. 9
.
6
.
looks negative from the
graph.
. . . . . .

49. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
What is the particle’s position
.(
• .3,3)
3
. at time t = 3?
.( .(
• .2,2) • .5,2)
2
.
. .1,1)
(
1
. •
. ... . . . . . .
4
. 7
.
123
... 5
. 8
. 9
.
6
.
. . . . . .

50. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
What is the particle’s position
.(
• .3,3)
3
. at time t = 3?
.( .(
• .2,2) • .5,2)
2
.
Solution
. .1,1)
(
1
. •
Since on [0, 3], f(x) = x, we
. ... . . . . . . have
4
. 7
.
123
... 5
. 8
. 9
.
6
.
∫3
9
s(3) = x dx = .
2
0
. . . . . .

51. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
At what time during the first 9
.(
• .3,3)
3
. seconds does s have its largest
.( .(
• .2,2) • .5,2)
2
. value?
. .1,1)
(
1
. •
. ... . . . . . .
4
. 7
.
123
... 5
. 8
. 9
.
6
.
. . . . . .

52. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
At what time during the first 9
.(
• .3,3)
3
. seconds does s have its largest
.( .(
• .2,2) • .5,2)
2
. value?
. .1,1)
(
1
. •
Solution
. ... . . . . . .
4
. 7
.
123
... 5
. 8
. 9
.
6
.
. . . . . .

53. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
At what time during the first 9
.(
• .3,3)
3
. seconds does s have its largest
.( .(
• .2,2) • .5,2)
2
. value?
. .1,1)
(
1
. •
Solution
. ... . . . . . . The critical points of s are the
4
. 7
.
123
... 5
. 8
. 9
.
6
.
zeros of s′ = f.
. . . . . .

54. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
At what time during the first 9
.(
• .3,3)
3
. seconds does s have its largest
.( .(
• .2,2) • .5,2)
2
. value?
. .1,1)
(
1
. •
Solution
. ... . . . . . . By looking at the graph, we
4
. 7
.
123
... 5
. 8
. 9
.
6
.
see that f is positive from
t = 0 to t = 6, then negative
from t = 6 to t = 9.
. . . . . .

55. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
At what time during the first 9
.(
• .3,3)
3
. seconds does s have its largest
.( .(
• .2,2) • .5,2)
2
. value?
. .1,1)
(
1
. •
Solution
. ... . . . . . . Therefore s is increasing on
4
. 7
.
123
... 5
. 8
. 9
.
6
.
[0, 6], then decreasing on
[6, 9]. So its largest value is at
t = 6.
. . . . . .

56. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
Approximately when is the
.(
• .3,3)
3
. acceleration zero?
.( .(
• .2,2) • .5,2)
2
.
. .1,1)
(
1
. •
. ... . . . . . .
4
. 7
.
123
... 5
. 8
. 9
.
6
.
. . . . . .

57. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
Approximately when is the
.(
• .3,3)
3
. acceleration zero?
.( .(
• .2,2) • .5,2)
2
.
Solution
. .1,1)
(
1
. s′′ = 0 when f′ = 0, which
•
. ... . . . . . . happens at t = 4 and t = 7.5
4
. 7
.
123
... 5
. 8
. 9
.
6
.
(approximately)
. . . . . .

58. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
When is the particle moving
.(
• .3,3)
3
. toward the origin? Away from
.( .(
• .2,2) • .5,2)
2
. the origin?
. .1,1)
(
1
. •
. ... . . . . . .
4
. 7
.
123
... 5
. 8
. 9
.
6
.
. . . . . .

59. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
When is the particle moving
.(
• .3,3)
3
. toward the origin? Away from
.( .(
• .2,2) • .5,2)
2
. the origin?
. .1,1)
(
1
. •
Solution
. ... . . . . . . The particle is moving away
4
. 7
.
123
... 5
. 8
. 9
.
6
.
from the origin when s > 0
and s′ > 0.
. . . . . .

60. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
When is the particle moving
.(
• .3,3)
3
. toward the origin? Away from
.( .(
• .2,2) • .5,2)
2
. the origin?
. .1,1)
(
1
. •
Solution
. ... . . . . . . Since s(0) = 0 and s′ > 0 on
4
. 7
.
123
... 5
. 8
. 9
.
6
.
(0, 6), we know the particle
is moving away from the
origin then.
. . . . . .

61. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
When is the particle moving
.(
• .3,3)
3
. toward the origin? Away from
.( .(
• .2,2) • .5,2)
2
. the origin?
. .1,1)
(
1
. •
Solution
. ... . . . . . . After t = 6, s′ < 0, so the
4
. 7
.
123
... 5
. 8
. 9
.
6
.
particle is moving toward the
origin.
. . . . . .

62. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
On which side (positive or
.(
• .3,3)
3
. negative) of the origin does
.( .(
• .2,2) • .5,2)
2
. the particle lie at time t = 9?
. .1,1)
(
1
. •
. ... . . . . . .
4
. 7
.
123
... 5
. 8
. 9
.
6
.
. . . . . .

63. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
On which side (positive or
.(
• .3,3)
3
. negative) of the origin does
.( .(
• .2,2) • .5,2)
2
. the particle lie at time t = 9?
. .1,1)
(
1
. •
Solution
. ... . . . . . . We have s(9) =
∫6 ∫9
4
. 7
.
123
... 5
. 8
. 9
.
6
.
f(x) dx + f(x) dx,
0 6
where the left integral is
positive and the right integral
is negative.
. . . . . .

64. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
On which side (positive or
.(
• .3,3)
3
. negative) of the origin does
.( .(
• .2,2) • .5,2)
2
. the particle lie at time t = 9?
. .1,1)
(
1
. •
Solution
. ... . . . . . . In order to decide whether
4
. 7
.
123
... 5
. 8
. 9
.
6
.
s(9) is positive or negative,
we need to decide if the first
area is more positive than the
second area is negative.
. . . . . .

65. Facts about g from f
Let f be the function whose graph is given below.
Suppose the the position at time t seconds of a particle moving
∫t
along a coordinate axis is s(t) = f(x) dx meters. Use the graph
0
to answer the following questions.
4
.
On which side (positive or
.(
• .3,3)
3
. negative) of the origin does
.( .(
• .2,2) • .5,2)
2
. the particle lie at time t = 9?
. .1,1)
(
1
. •
Solution
. ... . . . . . . This appears to be the case,
4
. 7
.
123
... 5
. 8
. 9
.
6
.
so s(9) is positive.
. . . . . .