自分で考えろというのはやはり無理だったか。
仕方がない。

以下、⑦⑧は>>442の原論文にないが、説明のため追加した。
＞p=1+(a-c)/(2b-a)…⑦
＞a-c＞0であるから、pはbの単調減少関数になる。
としているが、この主張は厳密でない。
なぜならB1＜a＜B2となるB1,B2について
1+(a-c)/(2B1-a)＜1＜1+(a-c)/(2B2-a)となるからである。
このことに気付けば、以下の主張が誤りであることがわかる。
＞2b≧18
＞よって
＞p≦1+(a-c)/(18-a)…⑧
a＞18のとき、右辺は1未満となるため⑦の右辺(3以上である)より小さい。よって⑦から⑧を無条件に導いたことは誤りである。
したがって、この⑧を根拠にしたⅡの結論も(Ⅱはa＞18の場合を考察しているため)誤りである。

この指摘が、aとbの間の独立性/従属性とは無関係なことは言うまでもない。