checked lower bound of argument of FibonacciNumber method