1<cosA+cosB+cosC≦3/2
を示す巧い方法ありますかね?