MathNet 2013 Câu hỏi 45

Giải bất đẳng thức $\log\left(5^{1/x}+5^3\right)\lt\log6+\log5^{1+1/(2x)}$.