Definizione formale di limite di funzione