MathNet 2012 Question 82

In a right triangle with hypotenuse $1$ and angles $30^\circ,60^\circ,90^\circ$, choose any $25$ points. Prove that some $9$ of them can be covered by a semicircle of radius $3/10$.