Convert png images to lossy avif

Question

I try to compress my ~1MB pngs to get a smaller image.

When I compress my images to jpeg with:

for i in card*.png ; do convert -resize 445x625 -backgro