Introducing Nullable Reference Types in C#. Is there hope for D, too?

[Ola Fosheim Grostad]

On Thursday, 23 November 2017 at 00:06:49 UTC, codephantom wrote:
> true up to a number < n  ... does not address the conjecture 
> correctly.

So what? We only need to a proof up to N for regular programming, 
if at all.

> hint. It's not a problem that mathmatics can solve.

By what proof? And what do you mean by mathematics?