Etemadi's inequality
[sv] Etemadis olikhet