MathDB
Show that f(m, n) is less than or equal to 2^(mn)

Source: Canada National Mathematical Olympiad 1977 - Problem 7

September 29, 2011
combinatorics unsolvedcombinatorics

Problem Statement

A rectangular city is exactly mm blocks long and nn blocks wide (see diagram). A woman lives in the southwest corner of the city and works in the northeast corner. She walks to work each day but, on any given trip, she makes sure that her path does not include any intersection twice. Show that the number f(m,n)f(m,n) of different paths she can take to work satisfies f(m,n)2mnf(m,n) \le 2^{mn}.
[asy] unitsize(0.4 cm);
for(int i = 0; i <= 11; ++i) { draw((i,0)--(i,7)); }
for(int j = 0; j <= 7; ++j) { draw((0,j)--(11,j)); }
label("\underbrace{\hspace{4.4 cm}}", (11/2,-0.5)); label("\left. \begin{array}{c} \vspace{2.4 cm} \end{array} \right\}", (11,7/2)); label("mm blocks", (11/2,-1.5)); label("nn blocks", (14,7/2)); [/asy]