-1 ≤ cosA cosB cosC ≤ 1/8