f colon x rightwards arrow x plus 1