というより、高木氏が自身で示した通り、2b＞aの範囲でしかf(a,b)は単調減少でないんだから、b=9が2b＞aの範囲から外れる場合(つまりa＞18の場合)は、やっぱりb=9のときpが最小とは言えないじゃないか
なんでこんな簡単なことがわからないんだろうか