The formula yields