> 任意の正の整数 n に対して