Bài 4
Cho là số nguyên dương có các ước . Chứng minh luôn nhỏ hơn , và xác định khi nào nó là ước của .
Bước 3 trên 3: Phân loại điều kiện chia hết
Hiểu nôm na
Một ước đúng của nằm dưới ; chặn dưới loại trừ n hợp số.
Phân tích chi tiết
Nếu n là số nguyên tố thì . Nếu n hợp số và p là ước nguyên tố nhỏ nhất của n, thì =n/p và S> = /p. Nhưng /p là ước đúng lớn nhất của , nên S không thể chia hết .