It says `We must show that for all real numbers ` But I think it should say `We must show that for all rational numbers `