If you're seeking help with Eiffel assignments, fret not; we've got you covered.

Question 2:
Write a recursive function in Eiffel to compute the factorial of a given non-negative integer.

Solution:
function factorial (n: INTEGER): INTEGER
-- Compute the factorial of n
require
non_negative: n >= 0
do
if n