Log[0.5, 0.5^2+3/2]<=4*Log[0.5^2+3/2, 0.5]