On the number of edges in some graphs - Chunhui Lai (2018)