Average value theorem