TeX source:
x\leq 1/(2^k s)