Leibniz formula