Assertion: tower's number | /r/HasProperty | given by following exact formula
Facets:
Source sentences:
text: Hinz and Chan Tat-Hung independently discovered (see also :Chapter 1, p. 14) that the average number of moves in an n-disk Tower is given by the following exact formula: