Editing 0828 - Manna-Pnueli (section)

==Explicații==
Funcția validare primește un parametru numar și verifică dacă acesta este un întreg pozitiv (mai mare sau egal cu 0) și mai mic decât 2000000000 (adica, intră în intervalul [0, 2000000000)).
Funcția cifmax primește, de asemenea, un parametru numar, care reprezintă numărul la care se caută cifra maximă, și un parametru opțional print_message care indică dacă trebuie afișat mesajul "Datele de intrare corespund restricțiilor impuse." la apelul inițial al funcției. La început, parametrul print_message este setat la True.
În funcția cifmax, se verifică dacă numar este valid folosind funcția validare. Dacă numar nu este valid, funcția va afișa mesajul "Datele de intrare nu corespund restricțiilor impuse." dacă parametrul print_message este setat la True și va returna None.
Dacă numar este valid, funcția va afișa mesajul "Datele de intrare corespund restricțiilor impuse." la apelul inițial al funcției dacă print_message este setat la True.
Dacă numar are doar o cifră, acea cifră va fi returnată.
În caz contrar, se calculează cifra curentă și se face o apelare recursivă a funcției cifmax cu numărul format din toate cifrele lui numar cu excepția celei mai din dreapta (adică cu o cifră mai puțin), și parametrul print_message setat la False. Rezultatul apelului recursive este stocat în variabila max_cifra.
Dacă max_cifra este mai mare decât cifra curentă, atunci max_cifra este returnată. În caz contrar, cifra curentă este returnată.
Funcția main citește un număr de la tastatură, apelează funcția cifmax și afișează cifra maximă găsită.