A Proof of Grunbaums Lower Bound Conjecture for general polytopes

In 1967, Grunbaum conjectured that any $d$-dimensional polytope with $d+sleq 2d$ vertices has at least [phi_k(d+s,d) = {d+1 choose k+1 }+{d choose k+1 }-{d+1-s choose k+1 } ] $k$-faces. We prove this conjecture and also characterize the cases in which equality holds.