Problem #PRU-57300

Prove that $S_{A B C D} \leq (A B \times B C + A D \times D C) / 2$ .

To see the solution register and get verified.