Unproved Formulas of Ramanujan? | Hacker News Reader