>>213
＞n≦k の場合について証明されていないウンヌン

とはどこに書かれてあるのですか？

＞注釈が変か、あるいは質問者が何か誤解しているか

ではなく、回答者が誤解しているのではないですか？