The diameters of cherry tomatoes produced by a large farm have an approximately Normal distribution, with a mean diameter of 22 mm and a standard deviation of 2.5 mm. What proportion of such tomatoes have a diameter greater than 25 mm?Find the z-table here.