https://www.fe-siken.com/kakomon/26_haru/pm08.html

関数Freeの説明の部分に関して、
終点i<始点pかつ終点p<始点i+1を満たす...の部分で
具体的な数値をいくら入れてもこの条件を満たす整数は見つかりません。

どなたか私の間違いを指摘していただきたいです....

空きリスト  {{0,2},{7,9}} で考えてみます。
{0,2}の添数は、i  {7,9}の添数は、i+1 と考えてください。
解放したいセルの組(添数は、p と考えます）を表２にあてはまるように作ってみます。
条件１の場合  {3,6} とすると  {{0,9}} ができます。
条件２の場合、{3,5} とすると  {{0,5},{7,9}} ができます。
条件３の場合、{4,6} とすると  {{0,2},{4,9}} できます。
条件４の場合、{4,5} とすると  {{0,2},{4,5},{7,9}} ができます。

〔空きリストの説明〕(2)の状態 {{-∞, 0}, {3, 5}, {9, +∞}}に対して、Free(6,7)を実行するケースを考えてみてください。

このとき、
始点P = 6
終点P = 7
終点2 = 5
始点3 = 9
となるので、i = 2とすれば、「終点i(= 5)＜始点P(= 6) かつ 終点P(= 7)＜始点i+1(= 9)」を満たします。

お二方ともありがとうございます。

i+1という添え字そのものを勘違いしていたようです。
スッキリいたしました。

ご丁寧に説明いただきありがとうございました。