Considere en un plano $ P$ los puntos $ O,A_1,A_2,A_3,A_4$ tales que \[ \sigma(OA_iA_j) \geq 1 \quad \forall i, j = 1, 2, 3, 4, i \neq j.\] donde $ \sigma(OA_iA_j)$ es el área del triángulo $ OA_iA_j.$ Demuestre que existe al menos un par $ i_0, j_0 \in \{1, 2, 3, 4\}$ tal que \[ \sigma(OA_iA_j) \geq \sqrt{2}.\]