MathNet 2012 Question 14

On a right-angled triangle with hypotenuse length $1$, $25$ points are drawn. Prove that at least $9$ of them can always be covered by a $\frac{3}{10}$ radius half-circle.