Mathematical analysis by A. V. Efimov