Mỗi năm, khi được mời dạy cho đội tuyển Việt Nam tham dự Olympic Toán quốc tế (IMO), tôi thường mang đến cho các em vài bài toán rất khó, và hy vọng một lời giải thanh nhã từ các thành viên của đội tuyển. Dưới đây là một bài cho đội tuyển IMO năm 2021.
Bài toán. Với mỗi số nguyên dương gọi
là số ước nguyên tố của
. Chứng minh rằng tồn tại số nguyên dương
sao cho
Lời giải. Với hai hàm và
từ tập các số nguyên dương đến tập các số thực dương ta viết
nếu
khi
. Thay
bởi
. Gọi
là một số nguyên dương phụ thuộc
mà ta sẽ chọn sau. Giả sử
là dãy tất cả các số nguyên tố lớn hơn
. Với
, đặt
và
Đặt
và gọi
là số nguyên dương nhỏ nhất sao cho
chia hết
với mỗi
. Ta có ngay
. Thật vậy, nếu không thì
với
, lấy
, ta có
; suy ra
, vô lý.
Xét số , ở đây
là số nguyên dương mà
. Ta có
Khi đặt và
, ta có
suy ra nếu thỏa mãn
thì
và bài toán được giải. Vậy sẽ là đủ nếu ta chỉ ra có để tồn tại
thỏa mãn
.
Với mỗi , ta có
. Thật vậy, xét một chỉ số
. Ta có
Nếu có số nguyên tố , tồn tại chỉ số
sao cho
. Vì
nên
. Nhưng
; suy ra
, và
. Do đó
, điều này không thể xảy ra do mọi ước nguyên tố của
lớn hơn
.
Bổ đề. Với mỗi số nguyên dương , ký hiệu
là số ước dương của
. Khi đó
Chứng minh. Xét một chỉ số . Vì
nên với mỗi số nguyên
, ta có
suy ra
Do đó



