solve (x!)/((x - 3)!) > y