Gọi a = n! - 1. Do n > 2 nên a >1.
Mọi số tự nhiên lớn hơn 1 đều có ít nhất một ước nguyên tố.
Gọi p là ước nguyên tố của a. Ta sẽ chứng minh rằng p > n.
Thậy vậy, giả sử p \(\le\) n thì tích 1.2.3...n chia hết cho p, ta có n! chia hết cho p, mà a chia hết cho p nên 1 nên 1 chia hết cho p, vô lý.
Vậy n! - 1 có ít nhất 1 ước nguyên tố lớn hơn n.