para los enteros no negativos formula_4.