On the Wikipedia page for Log-normal distribution
It is written that
I know it is probably simple, but I am still wondering the derivation. Since I know that
But I don't know why the first integral is always true.