Description: Lucas sequence property of Y with better output ordering. (Contributed by Stefan O'Rear, 16-Oct-2014)