En realidad el número k es la parte enterar de lo que sale ahí.
La demostración es dar los pasos hacia atrás. Toda la cadena de implicaciones es de doble sentido (si y solo si) partiendo del final llegas al principio, es decir partiendo de un número n mayor que ese k se llega a |Xn|<epsilon.
Si pretendes hacerlo desde el principio, colocando esa expresión como subíndice para demostrar que el término de la sucesión es menor que épsilon te puedes volver loco. Eso solo se puede hacer cuando la expresión de k es relativamente sencilla.
Hay dos formas en que te demuestran los límites. Uno es el truco de magía, te dan un k sin decirte por qué, hacen operaciones y les sale que la sucesión es menor que epsilon. Eso es lo que tu querrías ahora, que yo tomara ese k lo pusiese como término de la sucesión y se demostrara que ese término es menor que épsilon.
Y la otra forma es la forma natural, te enfrentas al problema y calculas el k que te hace falta para que el término será menor que épsilon. Y una vez se ha hecho eso ya no necesita más. La comprobación del otro tipo puede ser tediosa mientras que si los pasos que se dieron admiten vuelta atrás ya está demostrado.
Recuerda como se hacen las demostraciones de A si y solo si B. Algunas veces tienes que demostrar que A implica B y luego que B implica A. Pero si las implicaciones que has usado son todas de doble sentido haces A <==> C <==> D <==> ....<==> B y ya está.
Lo único que no puse los <==> porque tampoco pensaba que luego me pidieras esto que me pides.
El 27/6 es el producto de los tras primeros factores, considerando como factores los números (1/3), (2/3) y (3/3). Se extraen fuera porque no tienen la norma de los siguientes donde el denominador es mayor que el numerador y gracias a eso todos los siguientes tienen un producto menor que (3/4) elevado al número de factores que quiedan que son n-3.
Y eso es todo.