verify function satisfies mean value theorem