Hello, yuriythebest!
I constructed a general proof of this years ago . . .Show that: .
Then: .
Square both sides: .
Take logs (base ): .
Since , we have: .
Equate [1] and [2]: .
In baby-talk: "If we square the base, double the log."
And this can be generalized: "Cube the base, triple the log", etc.
.