Expressive equivalence of least and inflationary fixed-point logic