Proving irrationality of sums