LWG3801 cartesian_product_view::iterator::distance-from ignores the size of last underlying range

Author: burblebee

source/ranges.tex

@@ -14622,7 +14622,7 @@
 $\exposid{scaled-size}(N)$ be the product of
 \tcode{static_cast<difference_type>(ranges::size(std::get<\brk{}$N$>(\exposid{parent_}->\exposid{bases_})))} and
 $\exposid{scaled-size}(N+1)$
-if $N < \tcode{sizeof...(Vs)}$, otherwise \tcode{static_cast<difference_type>(1)};
+if $N \le \tcode{sizeof...(Vs)}$, otherwise \tcode{static_cast<difference_type>(1)};
 \item
 $\exposid{scaled-distance}(N)$ be the product of
 \tcode{static_cast<difference_type>(std::get<$N$>(\exposid{cur\-rent_}) - std::get<$N$>(t))} and $\exposid{scaled-size}(N+1)$; and