Problem

Source: 2005 Cuba MO 1.1

Tags: geometry, circles, geometric inequality



Determine the smallest real number $a$ such that there is a square of side $a$ such that contains $5$ unit circles inside it without common interior points in pairs.