Why can't I prove summation identities without guessing? | Hacker News Reader