ck<qk-1となるkが存在するのかどうかも証明されてないんだからどうこう言っても始まらないな