Ask HN: I would like an honest discussion about this math proof?