Với mỗi số nguyên dương n, ta có:
n³ > n(n² - 1) = n(n - 1)(n + 1)
Do đó:
1/n³ < 1/[n(n - 1)(n + 1)] = (1/2) * [1/((n - 1)n) - 1/(n(n + 1))]
Áp dụng vào bài toán:
Ta xét tổng:
S = 1/3³ + 1/5³ + 1/7³ + ... + 1/2022³
1/3³ < (1/2) * [1/(23) - 1/(34)] = (1/2) * (1/6 - 1/12)
1/5³ < (1/2) * [1/(45) - 1/(56)] = (1/2) * (1/20 - 1/30)
1/7³ < (1/2) * [1/(67) - 1/(78)] = (1/2) * (1/42 - 1/56)
...
1/2022³ < (1/2) * [1/(20212022) - 1/(20222023)]
Cộng tất cả các bất đẳng thức trên lại, ta được:
S < (1/2) * [(1/6 - 1/12) + (1/20 - 1/30) + (1/42 - 1/56) + ... + (1/(20212022) - 1/(20222023))]
Nhận thấy rằng đây là một tổng telescoping (tổng rút gọn), các số hạng ở giữa sẽ bị triệt tiêu lẫn nhau. Cụ thể:
S < (1/2) * [1/(23) - 1/(20222023)]
S < (1/2) * [1/6 - 1/(2022*2023)]
Vì 1/(2022*2023) là một số rất nhỏ, ta có thể bỏ qua nó để có một đánh giá lớn hơn:
S < (1/2) * (1/6) = 1/12
Vậy, ta đã chứng minh được:
1/3³ + 1/5³ + 1/7³ + ... + 1/2022³ < 1/12
Bất đẳng thức đã cho là đúng.