\ln\left(1+\frac{a^4+b^4+c^4+d^4}4\right)\geq\ln(1+abcd)