>>442
>pはbの単調減少関数になる

あたりからは本質的なミスだね
p=（bの式）
から、pはbの最小値3をとるときの値以下、として勧めてるけど
そもそもその関数が単調減少なのは分母が正の範囲

bに3をいれて分母が負になるならその後は成り立たない
入れるならb=（a+1）/2
とかでないと