172 = 4! * (4!! - subfactorial(√4)) + 4