>>486
国語力みたいな謎の日本語を使うような人種には理解できないのかもしれませんね。

＞>>474の最後の部分で書いてあることを証明している。

してません。n=17のケース(謎のルール変更あり)のあと、謎の計算すら不明なa(n, r) > b(n, r) is 7 and the minimum
r where a(n, r) > b(n, r) holds is 5という記述があるだけです。

それは証明ではありません