KöMaL 2025 B5468

Let $r$ be the inradius of the acute triangle $ABC$, let $R$ be the circumradius of the same triangle, and let the inradius of the orthic triangle of the triangle $ABC$ be $\varrho$. Prove that $r \ge \sqrt{R\varrho}$.