柯西不等式是基本不等式吗