Problem

Source: Serbia Additional IMO TST 2016, P2

Tags: combinatorics, geometry, TST



Let $ABCD$ be a square with side $4$. Find, with proof, the biggest $k$ such that no matter how we place $k$ points into $ABCD$, such that they are on the interior but not on the sides, we always have a square with sidr length $1$, which is inside the square $ABCD$, such that it contains no points in its interior(they can be on the sides).