>>8
(a^4 + b^4)/2 - ((a + b)/2)^4
= (8*a^4 + 8*b^4 - (a + b)^4)/16
= (24*b^2*(a - b)^2 + 7*(a - b)^4 + 24*b*(a - b)^3)/16
>= 0