Please help proving this log expression