Problem: Given any set $S$ of $9$ points within a unit square, show that there always exist $3$ distinct points in $S$ such that the area of the triangle formed by these $3$ points is less than or equal to $\frac{1}{8}$
I am supposed to do this using the pigeonhole principle. I used the usual technique of partitioning the square to conclude that there is a triangle with area less than $\frac{1}{4}$ but I am unable to improve the bound.
Please help.