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