For two vertical lines and one plot, I would recommend:
ggplot(df1,aes(x=x, y=y)) + geom_line()+ geom_vline(xintercept = c(2.5, 4))