product rule discrete math