Human population in Kenya 1970 = 11.3 million. Population in Kenya 2020 = 53.7 million.
I think you'll find the expotential growth of the human population & the subsequent pressures on the land & resources has more to do with the fall in lion ( & wildlife in general) numbers than the lack of trophy hunting.
But all large mammals across the globe are destined to become extinct before the end of this century since their existance is no longer compatable with human activity & interests.
Sure the population has increased but not everywhere. Kenya ranks 118th in the world as for as population density. It doesn't have the mega cities like other countries. The lion population is down in Tsavo and in other national parks. That is the troubling part. If the govt. doesn't value them and put $$ towards protecting them they will disappear. However, I do not believe that all the large mammals will go extinct this century. People are learning and trying to solve some of the issues...hunters and none hunters.