>>652
「任意の正の数」は0も含みますよね?