Let G = (V, E) be a simple graph of maximum degree Δ. The edges of G can be colored with at most Δ + 1 colors by Vizing's theorem. We study lower bounds on the size of subgraphs of G that can be colored with Δ colors. Vizing's theorem gives a bound of Δ Δ+1 |E|. This is known to be tight for cliques K Δ+1 when Δ is even. However, for Δ = 3 it was improved to 26 31 |E| by Albertson and Haas [Discrete Math., 148 (1996), pp. 1-7] and later to 6 7 |E| by Rizzi [Discrete Math., 309 (2009), pp. 4166-4170]. It is tight for B 3 , the graph isomorphic to a K 4 with one edge subdivided. We improve previously known bounds for Δ ∈ {3, . . . , 7}, under the assumption that for Δ = 3, 4, 6, graph G is not isomorphic to B 3 , K 5 , and K 7 , respectively. For Δ ≥ 4 these are the first results which improve over the Vizing's bound. We also show a new bound for subcubic multigraphs not isomorphic to K 3 with one edge doubled. In the second part, we give approximation algorithms for the maximum k-edge-colorable subgraph problem, where given a graph G (without any bound on its maximum degree or other restrictions) one has to find a k-edge-colorable subgraph with the maximum number of edges. In particular, when G is simple for k = 3, 4, 5, 6, 7 we obtain approximation ratios of 13 15 , 9 11 , 19 22 , 23 27 , and 22 25 , respectively. We also present a 7 9 -approximation for k = 3 when G is a multigraph. The approximation algorithms follow from a new general framework that can be used for any value of k.