CD4 and infection: Under the formulation of this saturated infection rate, the basic virus reproductive number R0 is independent of the total number of CD4+ T cells.