Problem #PRU-57300

Problem

Prove that \(S_{ABCD} \leq (AB \times BC + AD \times DC)/2\).