1: \begin{abstract}

2: In this paper, we give a rigorous proof of the renormalizability of the 

3: massive  $\phi_4^4$ theory on a half-space, using the renormalization group 

4: flow equations. We find that five counter-terms are needed to make the 

5: theory finite, namely $\phi^2$, $\phi\partial_z\phi$, $\phi\partial_z^2\phi$, 

6: $\phi\Delta_x\phi$ and $\phi^4$ for $(z,x)\in\mathbb{R}^+\times\mathbb{R}^3$. 

7: The amputated correlation functions are distributions in position space. 

8: We consider a suitable class of test functions and prove inductive bounds 

9: for the correlation functions folded with these test functions. The bounds 

10: are uniform in the cutoff and thus directly lead to renormalizability.

11: \end{abstract}