すべての正の実数x、yに対して
(√x)+(√y) <= k*√(2x+y)
が成り立つような実数kの最小値は、√6/2でいいでしょうか？