原文:求证:cosA cosB cosC≤3/2