>>699

(a-1)x + (b-1)y +(c-1)z = 0　をみたすとき

a log(a) = -a log(1/a) ≧ -a(1/a -1) = a-1,
b log(b) ≧ b-1,
c log(c) ≧ c-1,
ax log(a) + by log(b) + cz log(c) ≧ (a-1)x + (b-1)y + (c-1)z = 0,