How would one prove that
$\text{Prob}(Z<z_{calc})$ is the $p$-value where $z_{calc}$ is the sample statistics $\sqrt(n)(\bar{x}-\mu_0)/\sigma$. Here, $p$-value is the probability of observing data which are similar to, or more extreme if $H_0$ happens to be true.