text: 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 ) .