p < 4n】

用数学归纳法。 n = 1 和 n = 2 时引理显然成立。假设引理对 n < N 成立(N > 2)，我们来证明 n = N 的情形。

如果 N 为偶数，则Πp≤N p =Πp≤N-1 p，引理显然成立。

如果 N 为奇数，设 N = 2m + 1 (m ≥ 1)。注意到所有 m +