gracias por tu respuesta.
Te pongo el ejercicio completo, tal vez asi me ayudes a entender mejor que es lo que me piden. (Mi confusión es que yo tomaba a [;\alpha;] y a [;\beta;] como gráficas y no como funciones)
El ejercicio dice lo siguiente:
Let [;\alpha,\beta;] be two graph invariants with positive integer values. Formalize the two statements below, and show that each implies the other:
1.- [;\alpha;] is bounded above by a function of [;\beta;]
2.- [;\beta;] can be forced up by making [;\alpha;] large enough.
Show that the statement
3.- [;\beta;] is bounded below by a function of [;\alpha;]
is not equivalent to 1 and 2. Which small change would make it so?