lehmer cotangent expansion