In Wooldridge's "Introductory Econometrics: A Modern Approach", 5th edition, p. 212-215, the author describes the procedure for obtaining predictions from an OLS regression when the regressand is in log form.
In short, due to the non-linearity of the log/exp transformations, we can't simply use $exp(\hat{log(y_0)})$, where $\hat{log(y_0)}=\hat{\beta}*x_0$, as a predictor for $y$ (note that the "hat" in $\hat{log(y_0)}$ applies to the log(y), not only to the y). Rather, one has to take into account that $E(y|x)=exp(\sigma^2/2)*exp(\hat{\beta}*x_0)$; Wooldridge then presents several possible estimators for $exp(\sigma^2/2)$ (no need to talk about them for this particular question).
So far, so good. However, I do not understand how the prediction interval is derived. Wooldridge doesn't go into detail about the theory behind it and just mentions in example 6.8 that one can simply apply the exponential function to the lower and upper bounds of the prediction interval for $log(y_0)$ to get the lower and upper bounds of the prediction interval for $y_0$ "because the exponential function is strictly increasing". Why is this the case?
References welcome.