極大反例は存在できない。
aka_kak 以下の数の相乗平均は aka_kak 以下であり、x>akx>a_kx>ak に矛盾する。したがってすべてのカードは等しく、任意の n>1n>1n>1 で結論が成り立つ。