Definition: Given a disfluent sentence, modify the sentence to it to its equivalent fluent form, preserving the meaning of the sentence.
Input: Who first proved Chebyshe or actually that was Bertrand's postulate?

Who first proved Bertrand's postulate?