Từ các chữ số $0;1;2;3;4;5;6;7;8;9$ có thể lập được bao nhiêu số tự nhiên gồm bốn chữ số đôi một khác nhau và không vượt quá 2025?

(AI giải đề cho tôi)
Đếm số có 4 chữ số đôi một khác nhau, không vượt quá 2025. Trường hợp 1: chữ số đầu là 1, chọn 3 chữ số từ 9 chữ số còn lại (kể cả 0): $9\cdot 8\cdot 7=504$. Trường hợp 2: chữ số đầu là 2, để số $\overline{2abc}\le 2025$ thì chữ số thứ hai phải là 0; chữ số thứ ba phải $\le 2$ và khác 2, 0 nên chỉ là 1; chữ số thứ tư $\le 5$ và khác 2,0,1 nên là 3, 4 hoặc 5: có 3 số (2013, 2014, 2015). Chữ số đầu không thể là 0 hoặc $\ge 3$. Tổng: $504+3=507$.