On the size of edge-coloring critical graphs with maximum degree 4

In 1968, Vizing proposed the following conjecture: If image is a image-critical graph of order image and size image, then image. This conjecture has been verified for the cases of image. In this paper, we prove that image when image. It improves the known bound for image when image.