king ↔ うんち
(ab)^½ ≤ (a²+b²)/2
(a²+b²+c²)(x²+y²+z²) ≥ (ax+by+cz)²