まちがった書き直す。

>>182

>　　　これに対して再び(A)を適用することで、
>　　　n[R*2-4] は条件を満たさないことが分かる。

ここはどういうこと？
「n[R*2-4]は4の倍数になって、n[R*2-2] < n[R*2-3] < n[R*2-4]」
は言えると思うけど、n[R*2-4]とn[0]との大小関係は言えないのでは？