proportional or nonlinear relation? I would suppose that this is a monotonically decreasing map, not a proportionality.