我最近来到这个问题,我在两个条件下打破了解决方案,
对于 n<=m p(n) holds given the 1st property
对于 n>m ,我借助井序原则,将 n* 作为 p(n) 不成立的最小值....现在我被困在这里如何进一步采用适当的解决方案