changed

Thanks for the comment. I changed the statement to the conjectured (slightly stronger) version with round-up.

Reply

Comments are limited to a maximum of 1000 characters.
More information about formatting options