Original: In 1919, Ramanujan published a new proof of Bertrand's postulate which, as he says, was first proved by Chebyshev.
Simplified: In 1919, Ramanujan published a new proof of Bertrand's postulate (which had already been proven by Pafnuty Chebyshev).