Let f: [a,b] -> R.