>>848
f(a)の最大値は1になると思うんだが。
∵OH⊥AB