predecessor function

<2024-04-13 Sat 19:06:40> mahmood
math