Respuesta :

I assume [[x]] stands for "the largest integer smaller than or equal to x".

If x is already an integer, then x itself satisfies the definition. 23 is an integer that is equal to 23. So [[23]] = 23.