GQ Zhang,
L Cui - Information processing letters, 2010 - Elsevier
This paper shows that with B={1, 2,…, n}, the smallest k such that is s (n), where s (n) is the
smallest integer k such that n⩽(k⌊ k2⌋). This provides a simple set-based formulation and a …