>>616
n*は>>470で示されています。

高木くんは、任意のnについてのアルゴリズムを示すことが出来ないのに、
常に真だと言っているだけです。

任意のnについてのアルゴリズムを示すとは、

n^2<p<n(n+1)を満たす合成数pとrの対応関係をつくるアルゴリズムを書いてくださいということです。
n=17やn=18の場合…の具体例ではありません。

このとき、合成数pは小さいものから大きいものへかけて
p_1,p_2,…p_j (j<=n*-1)と書けます。
p_1,p_2,…p_jをどのように
1<r<nに対応させるのかを、アルゴリズムとして書けば、任意のnについてのアルゴリズムとなります。
n=17やn=18の場合…の具体例ではなく、p_iをどのようにrに対応させるのか
アルゴリズムとして書いてください。

j<=n-1である以上、アルゴリズムにはj=n-1の場合も必要です。

それが書けないとなれば、アルゴリズムは定義できていないんです。