side of a square
A square ABCD is inscribed in a circle of radius 'a'. Another circle is inscribed in ABCD and a square EFGH is inscribed in this circle. The side EF is equal to :
If your answer is (4), type as 4.