4. (1)假設 為自然數，試証： 恆成立。