sequences and series Proof of these identities Mathematics Stack Exchange