a,b,c,dをabcd=1を満たす正の実数とするとき,
(a-1)(3a-7)+(b-1)(3b-7)+(c-1)(3c-7)+(d-1)(3d-7)≧0
を証明せよ。