The bound you mention (a consequence of Edmond's perfect matching polytope theorem) is, to my knowledge, the best known lower bound.

## I believe this is best known

The bound you mention (a consequence of Edmond's perfect matching polytope theorem) is, to my knowledge, the best known lower bound.