Problem 11989
(American Mathematical Monthly, Vol.124, June-July 2017) Proposed by S. P. Andriopoulos (Greece).
Let x be a number between0 and 1. Prove
∞
Y
n=1
(1 − xn) ≥ exp 1
2− 1
2(1 − x)2
.
Solution proposed by Roberto Tauraso, Dipartimento di Matematica, Universit`a di Roma “Tor Vergata”, via della Ricerca Scientifica, 00133 Roma, Italy.
Solution. Let x ∈ (0, 1). Then
f(x) := − 1
2 − 1
2(1 − x)2
=1 2
1
(1 − x)2 −1
=
∞
X
k=1
(k + 1) 2 xk=
∞
X
k=1
xk k
k
X
j=1
j.
Moreover
g(x) := − ln
∞
Y
n=1
(1 − xn)
!
=
∞
X
n=1
ln
1
1 − xn
=
∞
X
n=1
∞
X
j=1
(xn)j
j =
∞
X
k=1
xkX
j|k
1 j =
∞
X
k=1
xk k
X
j|k
j.
SincePk
j=1j ≥P
j|kj, it follows that f (x) ≥ g(x) and
∞
Y
n=1
(1 − xn) = exp(−g(x)) ≥ exp(−f (x)) = exp 1
2 − 1
2(1 − x)2
.
Addendum. Note that for x ∈ (0, 1),
g(x) =
∞
X
j=1
1 j
∞
X
n=1
(xj)n=
∞
X
j=1
1 j
xj 1 − xj ≥ 1
2 x2
1 − x2 = − 1
2 − 1
2(1 − x2)
.
Hence we have also a similar reversed inequality
∞
Y
n=1
(1 − xn) = exp(−g(x)) ≤ exp 1
2− 1
2(1 − x2)
.