Terry Tao's strong induction formulation

Question

So I began to read Terry Tao's "Analysis 1" and I got confused by his strong induction formulation. The way he puts it is: "Let $m_0$ be a natural number, and let $P(m)$ be a property pertaining to an arbitrary natural number $m$. Suppose that for each $m \geq m_0$, we have the following implication : if $P(m')$ is true for all natural numbers $m_0 \leq m' < m$, then $P(m)$ is also true. (In particular this means that $P(m_0)$ is true, since in this case the hypothesis is vacuous.) Then we can conclude that $P(m)$ is true for all natural numbers $m \geq m_0$. " Now I didn't understood his explanation why it means $P(m_0)$ is true. Can you please clarify it for me ?

Answer 1

It's just that if you take $m=m_0$, then there is no $m'$ with $m_0\leq m' <m$ (because this inequality becomes $m_0\leq m' <m_0$). That means $P(m')$ is true for all such $m'$ that exist.

That's why he says "the hypothesis is vacuous."