This is an very informal proof, because I wanted it to be as readable as possible for the majority of readers. I hope this will finally show why Proof of Stake (PoS) is not a viable consensus design.
Ok, now please provide a formal proof for minority of readers who can't understand an informal one (e.g. me).