 Integer square root

The integer square root of a non-negative integer \( n \) is the largest integer \( k \) such that \( k^2 \leq n \). In other words, it is the greatest integer that, when squared, does not exceed \( n \).