Is the procedure ok ? @Verma Ashish .
You can create a DFA for a*b* including the rejected state , and then complement it by making all final as non-final and vice versa.
I got the answer as 4 too but this the solution that they provided. Someone please confirm whether it is correct or not