The relation between the height of a well-founded partial ordering and the order types of its chains and antichains

We show that a well-founded partial ordering of countable height α must contain either a chain of order type α or an antichain of order type ω. On the other hand, there are partial orderings of arbitrary countable height with no infinite chains and no antichains of order type (ω+1).