logarithmic decrement proof