existe um numero x natural tal que para todo numero y pertencente aos inteiros x seja menor que y