证明 ∀p∈P,k∈N+,φ(pk)≥k\forall p \in\mathbb{P},k\in\mathbb{N}_+,\varphi(p^k)\geq k∀p∈P,k∈N+,φ(pk)≥k，当且仅当 p=2,k=1p=2, k=1p=2,k=1 和 p=2,k=2p=2, k=2p=2,k=2 时取到。
P\mathbb{P}P 是质数集，N+\mathbb{N}_+N+ 是正整数集，φ\varphiφ 是欧拉函数。
