Improved searching in infinite sequences