rationality proof finished (corrected calculation)