图书馆现有4000本图书供学生借阅，如果每个学生一次借5本，则剩下的数y（本）和借书学生人数x（人）之间的函数关系式是．