problems.proof.stepOf
problems.proof.analysis
The condition at is automatically satisfied since . The condition at requires — this is the real constraint; not every (every wavelength) satisfies it.
problems.proof.pitfall. Many people forget to check the first condition () and think both are 'hard', but really only one constraint actually needs solving.