(a) Prove that a square with sides $1000$ divided into $31$ squares tiles, at least one of which has a side length less than $1$. (b) Show that a corresponding decomposition into $30$ squares is also possible. (Walther Janous)
Problem
Source: 2022 Austrian Federal Competition For Advanced Students, Part 2 p6
Tags: combinatorics, tiles, Tiling