typo fix
fixed a mathematical error in the Hilbert's Hotel example