Un aspetto dell’apprendimento del concetto di limite: la verifica mediante definizione