PUBS: A Practical Upper Bounds Solver

class Factorial {
    static int fact(int n){
	if (n==0) return 1;
	else return n*fact(n-1);    
}
};