TH-TMO 2012 Problem 4

Let $ABCD$ be a unit square. Points $E, F, G, H$ are chosen outside $ABCD$ so that $\angle AEB =\angle BF C = \angle CGD = \angle DHA = 90^o$. Let $O_1, O_2, O_3, O_4$, respectively, be the incenters of $\vartriangle ABE, \vartriangle BCF, \vartriangle CDG, \vartriangle DAH$. Show that the area of $O_1O_2O_3O_4$ is at most $1$.