On Thursday, 23 June 2016 at 22:53:59 UTC, H. S. Teoh wrote: > This argument only works for discrete sets. If n and m are > reals, you'd need a different argument. > For reals, you can use limits/continuation as argument.