Что-то я не соображу, чему в Вашем примере равно

из условия утверждения.
Нулю, так как числитель тождественный ноль, а знаменатель отличен от 0 в проколотой окрестности нуля
Базу типа

я формально читаю в смысле Зорича : элемент базы- это множество таких

, что...Но тогда, если

имеет предел

в двух разных точках (в моем примере этого нет), не будет выполняться определение базы, пересечение двух элементов базы может быть пусто. Надо что-то уточнять в условии.