def $maximum(T)$: \\ $\;\;\;\;$ if $T = [\,]$: \\ $\;\;\;\;\;\;\;\;$ return $-\infty$ \\ return $\max (T[0], maximum(T[1:]))$