Problem #PRU-57299

Problem

Prove that \(S_{ABC} \leq AB \times BC/2\).