Spanning trees with many leaves: lower bounds in terms of number of vertices of degree 1, 3 and at least 4 - Dmitri Karpov (2012)