OFFSET
1,2
COMMENTS
Equivalently, k is the least positive integer such that there is a rational number H with denominator k for which n < cosh(H) < n+1.
MATHEMATICA
Table[k=1; While[Floor[k*ArcCosh[n+1]]<=k*ArcCosh[n], k++]; k, {n, 100}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Clark Kimberling, Dec 29 2010
STATUS
approved