According to the Hungarian National Curriculum the proof of the irrationality of √2 is considered in grade 10. We analyze the standard proofs from the textbooks and give some mathematical arguments that those reasonings are neither appropriate nor sufficient. We suggest that the proof should involve the fundamental theorem of arithmetic.