Lebedev, Nikolai Nikolaevich, mathematician