2√x-logx 最小値