As for moduli spaces of curves, the moduli space of polarized K3 surfaces of genus g is of general type and thus is irrational for g sufficiently large. In this work, we estimate how the irrationality grows with g in terms of the measure introduced by Moh and Heinzer. We proved that the growth is bounded by a polynomial in g of degree 15 and, for three sets of infinitely many genera, the bounds can be refined to polynomials of degree 10. These results are built upon the modularity of the generating series of these moduli spaces in certain ambient spaces, and also built upon the existence of Hodge theoretically associated cubic fourfolds, Gushel–Mukai fourfolds, and hyperkähler fourfolds. This is a collaboration with Daniele Agostini and Ignacio Barros (arXiv:2011.11025).