Why can't I prove summation identities without guessing? · HackerTrans