1888 ; Professor W , Rudin.