Rescalings at possible singularities of Navier–Stokes equations in half-space

The relationship is clarified between possible blow-up for strong solutions of the initial boundary value problem for the incompressible Navier–Stokes equations in $\{x_3>0\}$, and the Liouville theorem for mild bounded ancient solutions.