hajekinequality
hajek
hajekinequality