Hawking entropy formula