ramanujan-challenge/docs/proofs/PROBLEM_28_PROOF.pdf