The top documents tagged [sum of functions proof]