柯西---许瓦兹不等式http://www.cbe21.com/subject/maths/html/040401/2002_09/20020911_1793.html切比雪夫不等式： 若 a1 >= a2 >= ... >= an， b1 >= b2 >= ... >= bn 则：n*(a1b1 + a2b2 + ... + anbn) >= (a1+a2+...+an)(b1+b2+...+bn)
