Let $ABCD$ be a square. Point $P, Q, R, S$ are chosen on the sides $AB$, $BC$, $CD$, $DA$, respectively, such that $AP + CR \ge AB \ge BQ + DS$. Prove that $$area \,\, (PQRS) \le \frac12 \,\, area \,\, (ABCD)$$and determine all cases when equality holds.
Problem
Source: 2018 Ecuador Juniors (OMEC) L2 p3
Tags: geometry, square, geometric inequality, areas