我也要做吃瓜群众

学霸的黑科技系统如何证明Pn 是已知的最大素数(1/13)