RMM 2023 Problem 4

Given a triangle $A B C$, let $H$ and $O$ be its orthocentre and circumcentre, respectively. Let $K$ be the midpoint of the line segment $A H$. Let further $\ell$ be a line through $O$, and let $P$ and $Q$ be the orthogonal projections of $B$ and $C$ onto $\ell$, respectively. Prove that $K P+K Q \geq B C$.