Understading sampling theorem and aliasing
An ideal low pass filter has perfect attenuation above the cut off frequency.  So any aliasing distortion in that band will be filtered out.  In your example, this means any content above 3kHz.

For this application fmax can be made to extend up to the sample rate less the cutoff frequency of the low pass, or 21kHz.