Python3: Find the n-th largest number in a sequence