Problem

Source: Iran 3rd round 2012-Special Lesson exam-Part1-P4

Tags: probability, expected value, combinatorics proposed, combinatorics



Prove that from an $n\times n$ grid, one can find $\Omega (n^{\frac{5}{3}})$ points such that no four of them are vertices of a square with sides parallel to lines of the grid. Imagine yourself as Erdos (!) and guess what is the best exponent instead of $\frac{5}{3}$!