Observe that
4(a3+b3+c3+d3)−(a4+b4+c4+d4)=−((a−1)4+(b−1)4+(c−1)4+(d−1)4)+6(a2+b2+c2+d2)−4(a+b+c+d)+4=−((a−1)4+(b−1)4+(c−1)4+(d−1)4)+52.
Let x=a−1,y=b−1,z=c−1,t=d−1, then it suffices to prove:
under the condition
x2+y2+z2+t2=4(1)
the following inequality holds
16≥x4+y4+z4+t4≥4.
By the power mean inequality we get
x4+y4+z4+t4≥4(x2+y2+z2+t2)2=4(by (1)).
Next,
(x2+y2+z2+t2)2=(x4+y4+z4+t4)+q,
where q is a nonnegative real number, so
x4+y4+z4+t4≤(x2+y2+z2+t2)2=16.