mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

Benjamin Leis ✅

I've been a bit negligent posting fun problems lately partly because I feel less connected to the community after leaving twitter more fully

A function maps positive integers to positive integers and it is given that

f(f(x)) = 3x
f(x+1) > f(x)

What is f(13)?

[Matt Kelly]

@benleis is the function well defined for all positive integers? But for 13 I get 22…

@massimolauria @benleis That's not what I had computed, but I may have made a mistake.

@antoinechambertloir @benleis It turns out I got the method but I am not able to carry it out... :D

@masp This is an positive integer to positive integer map so you'll never get something so complicated :)

@benleis a nice puzzle, thanks for posting it!
I admittedly only did the easy part of the puzzle; enumerating some of maps

@benleis Thank you! This was an enjoyable diversion while proctoring an exam yesterday. I deduced what f(13) would have to be then got quite interested in whether there was in fact any function f satisfying the hypotheses.

@joelneely it's a positive integer to integer mapping by definition

@benleis Thanks! I missed that; too many years of FORTRAN conventions I guess. 🙃