Prove that 2/√7 is an irrationals.