es suficiente con encontrar un "x" tal que "N"("x") formula_16 "x"/2 para llegar a una contradicción ya que "N"("x") es siempre menor que "x"/2.