Rationalise the denominator of (√3+1)/√2