Nikolai Andreevich Lebedev (; August 8, 1919 â January 8, 1982) was a Soviet mathematician who worked on complex function theory and geometric function theory. Jointly with Isaak Milin, he proved the LebedevâÂÂMilin inequalities that were used in the proof of the Bieberbach conjecture.