“”的等价说法是“对每一个正数，存在正整数，当时，恒有 .”