>>774
＞＞ここの範囲に b=9 が入らなければ　（引用者注：こことは b>a/2）
a，b の値によっては定義域内に b=9 がないことがあり得る
と質問者は言っているんじゃないか？
>>774はその回答になってる？