起因是有人在讨论区问弱智问题，忍住了没骂，进行一个胡的说。求证：\[\forallp\in\mathbbP,k\in\mathbbN_+:\varphi(p^k)\geqk\]且当且仅当\(p=2,k\in\{1,2\}\)时取等。括号要严谨证明括号这啥？？幂跟指数比大小？？不是随便比？？这人不是油饼？？但是没人回答。于是摸一摸。\(p=2\)