In a rectangle with sides of length 20 and 25 there are 120 squares of side length 1. Prove that there is a circle with a diameter of 1 contained in this rectangle and having no points in common with any of these squares.
geometryrectanglecombinatoricscombinatorial geometry