Bài 2
Cho và được xác định bởi và . Chứng minh rằng với mọi số thực không nguyên thỏa mãn .
Bước 6 trên 6: Chặn từng phần và kết luận
Phân tích chi tiết
Vì , bất đẳng thức AM–HM cho , đẳng thức khi . Với , tam thức chạy trong , nên và . Cộng hai chặn này cho với , và theo bước 3–4 điều này chứng minh trên mọi khoảng ; theo bước 2, cùng chặn đó (áp dụng khi đổi vai trò ) bao phủ , nên với mọi không nguyên thỏa .