Assertion: sequence's number | /r/HasProperty | f
Facets:
Source sentences:
text: As the floor function is monotonic, the latter formula can be inverted for finding the index n(F) of the largest Fibonacci number that is not greater than a real number F > 1: