0 < a < b のときa < 2ab/(a+b)と言えるか、という問題に帰結。
あとは任せた。