O método fat, implementado em Java, calcula recursivamente o fatorial de um número inteiro positivo n passado como parâmetro. Qual das opções a seguir apresenta um código que retorna corretamente o fatorial de um inteiro n (variando de 0 a 10, inclusive)?