My apologies - I typed the above message too quickly. The 'log(2)' should of course have been log(sqrt(2)), where 'sqrt' means the square root.