Признак Лейбница для знакопеременных рядов: математический анализ