Which lens for dog photography?

I have been reading a lot on here to help me choosing a lens for dog photography and it was so helpful but still difficult to make a decision. It's just for myself and not in a professional setting, I just like nice pictures of my dog and would like to take my photos to the next level. At this moment I'm using the kit lens I got with my Panasonic G7, so any lens would probably be a massive upgrade.

Now I have narrowed it down to a couple secondhand options:
Olympus 45mm 1.8 for €120
Panasonic 42.5mm 1.7 for €200
Sigma 56mm 1.4 for €250

Are these reasonable prices? What would you advise for a hobbyist that takes dog portraits and running/jumping photos? Any other recommandations? I would like to keep it below €250 though.

Thanks!