>>512
なるほど、これですか。 この形にする必要があるのかと小一時間…。


【Engel 型の Cauthy の不等式】

x、y、z > 0 のとき、a^2/x + b^2/y + c^2/z ≧ (a+b+c)^2/(x+y+z)