>>559
>>483の
＞…⑦から⑧を無条件に導いたことは誤りである。
の理解について助言します。

貴方は2b≧18から2b-a≧18-aを導き、その逆数をとって1/(2b-a)≦1/(18-a)を導き、
そこからp≦1+(a-c)/(18-a)を導いたのだと思いますが、
2b-a≧18-aから1/(2b-a)≦1/(18-a)を無条件に導くことはできないのです。

この推論は、2b-aと18-aが同符号のときは成り立ちますが、異符号だと成り立ちません。
例えば、「2≧-3」という正しい命題から、
「1/2≦-1/3」を導くことは正当化されないということです。