Smallest Penholodigital Square

Theorem
The smallest penholodigital square number is:
 * $11 \, 826^2 = 139 \, 854 \, 276$

Proof
Let $n$ be the smallest positive integer whose square is penholodigital.

First it is noted that the smallest penholodigital number is $123 \, 456 \, 789$.

Hence any square penholodigital number must be at least as large as that.

Thus we can can say that:
 * $n \ge \ceiling {\sqrt {123 \, 456 \, 789} } = 11 \, 112$

where $\ceiling {\, \cdot \,}$ denotes the ceiling function.

It remains to be demonstrated that no positive integer between $11 \, 112$ and $11 \, 826$ has a penholodigital square.