Question: What is the effective f-number proportional to?
Sentence: The effective f-number is proportional to the ratio between the lens focal length and aperture diameter, the diameter itself being proportional to the square root of the aperture area.
Answer in sentence: yes