>>27
いや、>>14で
＞pn+1 ∈ Aと定義しているから、Aはpn+1の元が取り得る部分集合だ。
こう書いたことに反している。

普通に考えて、Aがpn+1の元を包含している集合であり、場合分けで範囲が定められている
のだから、Aの下限値が定まるのは当たり前。

>>28
微分とは関係ない。下限値という言葉を使うために、Aを定義した。pn+log(pn)は最小値ではないから