Prove that 4 + √2 is an irrationals.