Description: The Hartogs number of an infinite set is at least _om .MOVABLE (Contributed by Stefan O'Rear, 10-Jul-2015)