nameContainsNotFun

The function which should be used instead of atMostCall when times is zero.