6.5 Wallis’s Product and Stirling’s Formula 169
F. Compute the following integrals:
(a)
Z
e
1
¡
logx
¢
2
dx (b)
Z
π/2
0
sin
3
x
√
cosx
dx (c)
Z
125
1
dt
√
t +
3
√
t
G. Let f be a continuous function on R, and fix ε > 0. Define a function G by
G(x) =
1
ε
Z
x+ε
x
f(t) dt.
Show that G is C
1
and compute G
0
.
H. Let u be a strictly increasing C
1
function on [a, b].
(a) By considering the area under the graph plus the area between the graph and the
y-axis, establish the formula
Z
b
a
u(x) dx +
Z
u(b)
u(a)
u
−1
(t) dt = bu(b) − au(a).
(b) Use the substitution formula (6.4.5) using f(x) = u
−1
(x) and integrate the second
expression by parts to derive the same formula as in part (a).
I. (a) Let x(t) and y(t) be C
1
functions on [0, 1] such that x
0
(t) ≥ 0. Prove that the area
under the curve C = {(x(t), y(t)) : 0 ≤ t ≤ 1} is
Z
1
0
y(t)x
0
(t) dt.
(b) Now suppose that C is a closed curve [i.e., (x(0), y(0)) = (x(1), y(1))] that
doesn’t intersect itself and that x
0
(t) changes sign only a finite number of times.
Prove that the area enclosed by C is
¯
¯
¯
Z
1
0
y(t)x
0
(t) dt
¯
¯
¯
.
J. Suppose that a function f is Riemann integrable and has an antiderivative F . Prove
that
Z
b
a
f(x) dx = F (b) − F (a).
HINT: Apply the Mean Value Theorem to obtain F (x
i
)−F (x
i−1
) = f(c
i
)(x
i
−x
i−1
)
for some c
i
∈ (x
i−1
, x
i
). Then apply Theorem 6.3.8 (4).
K. Suppose that f is twice differentiable on R and kfk
∞
= A and kf
00
k
∞
= C. Prove
that kf
0
k
∞
≤
√
2AC.
HINT: If f
0
(x
0
) = b > 0, show that f
0
(x
0
+ t) ≥ b − C|t|. Integrate from x
0
− b/C
to x
0
+ b/C.
6.5. Wallis’s Product and Stirling’s Formula
In this section, we will obtain Stirling’s formula, an elegant asymptotic formula
for n!, using only basic calculus. However, to get a sharp result, the estimates must
be done quite carefully. By a sharp inequality, we mean an inequality that cannot
be improved. For example, |sin(x)/x| ≤ 1 for x > 0 is sharp but tan
−1
(x) < 2 is
not. These estimates lead us to a general method of numerical integration. The first
step is an exercise in integration that leads to a useful formula for π.