A distortion of very-high-redshift galaxy number counts by gravitational lensing