A theoretical survey of induced vertical velocity in front of an aircraft wing