Lebedev, Nikolaĭ Nikolaevich, mathematician