If you know basic cardinal arithmetic you can say that , but this is really just what you're asking, isn't it? If you know there exists a bijection define by taking to the function given by . To see this is a bijection you must merely note that if then there exists some for which check then that . I leave it to you to show that this is a surjection.

Note, this extends to show that .