Robbins' problem (of optimal stopping)