(a) On the axis the loop's field points along \(\displaystyle z\), with one sign everywhere:
\[B_z = \frac{\mu_0 I R^2}{2\,(R^2 + z^2)^{3/2}} > 0 \]
\[\mathfrak{I}(L) = \int_{-L}^{L} B_z\,dz \ \Rightarrow\ \frac{d\mathfrak{I}}{dL} = B_z(L) + B_z(-L) = \frac{\mu_0 I R^2}{(R^2 + L^2)^{3/2}} > 0 \]
(b) Close the \(\displaystyle z\)-axis segment with a semicircle of radius \(\displaystyle L\) in the \(\displaystyle xz\)-plane (\(\displaystyle x > 0\)); the wire pierces this half-disc once, at \(\displaystyle (R, 0, 0)\).

\[\oint \mathbf{B}\cdot d\mathbf{l} = \int_{-L}^{L} B_z\,dz + \int_{\text{arc}} \mathbf{B}\cdot d\mathbf{l} = \mu_0 I \]
For \(\displaystyle L \gg R\) the field is a dipole field, \(\displaystyle B \le \dfrac{\mu_0 (I\pi R^2)}{2\pi L^3}\), over arc length \(\displaystyle \pi L\):
\[\left|\int_{\text{arc}} \mathbf{B}\cdot d\mathbf{l}\right| \le \pi L\cdot\frac{\mu_0 (I\pi R^2)}{2\pi L^3} = \frac{\pi\mu_0 I R^2}{2L^2} \to 0 \ \Rightarrow\ \mathfrak{I}(\infty) = \mu_0 I \]
(c) Direct integration:
\[\mathfrak{I}(L) = \frac{\mu_0 I R^2}{2}\left[\frac{z}{R^2\sqrt{R^2 + z^2}}\right]_{-L}^{L} = \frac{\mu_0 I\,L}{\sqrt{R^2 + L^2}} \]
\[\mathfrak{I}(\infty) = \lim_{L\to\infty}\frac{\mu_0 I}{\sqrt{1 + R^2/L^2}} = \mu_0 I \]
(d) The loop of (b) never used the coil's shape, so the limit stays. The square lies inside the circle, nearer the centre, so its centre field is larger:
\[B_{sq}(0) = \frac{2\sqrt{2}\,\mu_0 I}{\pi R} \approx 0.90\,\frac{\mu_0 I}{R} \ >\ B_{circ}(0) = \frac{\mu_0 I}{2R} \]
Integrating the square's axial field \(\displaystyle B_z = \dfrac{\mu_0 I R^2}{2\pi\,(z^2 + R^2/4)\sqrt{z^2 + R^2/2}}\):
\[\mathfrak{I}_{sq}(L) = \frac{4\mu_0 I}{\pi}\arctan\frac{L}{\sqrt{L^2 + R^2/2}} \ \to\ \mu_0 I \]
\[L = R:\quad \mathfrak{I}_{sq} = 0.87\,\mu_0 I \ >\ \mathfrak{I}_{circ} = 0.71\,\mu_0 I \]
Answer: (a) \(\displaystyle d\mathfrak{I}/dL > 0\); (b), (c) \(\displaystyle \mathfrak{I}(\infty) = \mu_0 I\), with \(\displaystyle \mathfrak{I}(L) = \mu_0 I L/\sqrt{R^2 + L^2}\); (d) \(\displaystyle \mathfrak{I}_{sq}(L) > \mathfrak{I}_{circ}(L)\) at every finite \(\displaystyle L\), both \(\displaystyle \to \mu_0 I\).