El conjunto $T_0$ está formado por todos los números de la forma $(2^k)!$, siendo $k$ un entero no negativo. El conjunto $T_m$ consiste en todas las sumas de elementos distintos de $T_{m-1}$. Demostrar que hay algún número natural que no pertenece a $T_{1987}$.