Strong Exponential Time Hypothesis

Let $s_k$ be the infimum of constants $c$ such that $k$-SAT on $n$ variables is solvable in time $O(2^{cn})$ up to polynomial factors.

Is $\lim_{k\to\infty}s_k=1$?