Let $O$ be a point inside a triangle $ABC$ and let the lines $AO,BO$, and $CO$ meet sides $BC,CA$, and $AB$ at points $A_1,B_1$, and $C_1$, respectively. If $AA_1$ is the longest among the segments $AA_1,BB_1,CC_1$, prove that $$OA_1+OB_1+OC_1\le AA_1.$$