for(;;) == while(true)

= true!

And here’s the proof.