|x + 1/x| >= 6 for x real