ab + ac +bc \le a^2 + b^2 + c^2