Sea $O$ el circuncentro de un triángulo acutángulo $ABC$ y $R$ su circunradio. Considere los discos que tienen $OA,OB,OC$ como diámetros, y sea $\Delta$ el conjunto de puntos en el plano que pertenecen al menos a dos de los discos. Demuestre que el área de $\Delta$ es mayor que $R^2/8$.