The detection loophole in Hardy's nonlocality theorem and minimum detection efficiency